<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Dear all,<br><br>I would argue that even core developers should not be using the main repo as their<br>personal one and that, at least most of the time, they should instead be using the same<br>procedure as every other contributor.</div><div dir="ltr"><br></div><div dir="ltr">Branches in git branches are really "cheap" (especially compared to e.g. SVN).  They do<br>make it very easy to experiment and the more proficient you become with git you do tend<br>to use them more and more.  If every core dev starts pushing their personal branches on<br>the main repo, very soon  there will be noise that can effectively become too much for<br>UIs to properly display. For example, please visit<br>[QGIS](<a href="https://github.com/qgis/QGIS">https://github.com/qgis/QGIS</a>) and click on the branch selector.  They only have<br>release branches (like GRASS) and the UI is already at its limit. Imagine having e.g.<br>100+ more branches there...<br><br></div><div>with kind regards,</div><div>Panos</div></div></div></div>