git quickstart guide
It would be useful to write down the git workflow for creating new merge requests on top of current master, and how to create follow-up MRs that are also based on master instead of the user's local branch.
We could link to that from the porting guide in the section where we ask people to contribute their ports back with MRs.