Re: Pull requests. Staging or Master branch?

2024-07-15 Thread Jack Curran
Although, I have noticed that they do use README.md files in some of other other Genode Labs repositories. So maybe they do use also use markdown. Although it does just seem to be the main front page README.md file in the repository, which looks nicer on the Github web page. https://github.com

Re: Pull requests. Staging or Master branch?

2024-07-15 Thread Jack Curran
Spencer wrote: > I'm curious about this too - looking at the github repo, it seems like > there's a mix of pulls into staging and into master. The git flow section of > https://genode.org/documentation/genode-foundations-24-05.pdf is a little > ambigious - it mentions staging as being the place

Re: Pull requests. Staging or Master branch?

2024-07-15 Thread Spencer via users
I'm curious about this too - looking at the github repo, it seems like there's a mix of pulls into staging and into master. The git flow section of https://genode.org/documentation/genode-foundations-24-05.pdf is a little ambigious - it mentions staging as being the place to put untested changes

Re: Pull requests. Staging or Master branch?

2024-07-15 Thread Jack Curran
Sorry, I believe I misread the Genode Contributors guide. Genode does not use pull requests, they copy commits that are referenced within issues? So I should make an issue in the repository, then reference my commit against it and genode will copy that into their repository? Should I use the ma

Pull requests. Staging or Master branch?

2024-07-15 Thread Jack Curran
Hello, I have made some pull requests. I have just updated some readme files to markdown format. As far as I understand pull requests are a request to introduce/upload my changes to the Genode repository. This is my first time ever using/learning git, so I am not very familiar with how it works.