<div dir="ltr"><div>hello Markus,</div><div><br></div><div>I would suggest that:</div><div><br></div><div>- even core devs fork the main repo</div><div>- "origin" is the personal remote GRASS repository (e.g. in my case <a href="https://github.com/pmav99/grass">https://github.com/pmav99/grass</a>)<br></div><div>- everyone adds the main GRASS repository as a secondary remote (e.g. "upstream")</div><div><br></div><div>This way:</div><div><br></div><div>1. You always push to "origin" and you create a Pull Request from the Github UI</div><div>2. To get updates you always pull from "upstream"</div><div>3. You always rebase your code to "upstream/master".<br></div><div>4. You don't need separate instructions for non core-devs.</div><div><br></div><div>Just my 2 cents.</div><div><br></div><div>P.<br></div><div><br></div><div><br></div></div>