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. I see that there are two branches in the genode repository, Master and Staging. Staging seems to be the most active branch where new changes are being introduced before an official release?
Is the master branch supposed to be a copy of the latest public release and is only updated every time a full public release is announced? Staging seems to be the active development branch. So I made my pull request to that branch. Although I am not sure which branch I am supposed to make pull requests to? The genode contributions page says to make pull requests to the master branch.
> As a rule of thumb, every line of development should have a corresponding issue in the issue tracker.
> This will be the place where we will discuss your ongoing work. If there is no issue for your topic, please create one.
> Once there exists the issue with a short description about what your line of work is about, create a new topic branch based on the genodelabs/master branch.