On 10/23/15 10:09 AM, Michel Morin wrote:
Hi,
We sometimes forget to change the base branch of PR from 'master' to 'develop', even if we know PR should be made against 'develop' branch! To prevent from accidentally making PR against master branch, it'd be nice to **set the default branch to 'develop' branch** for Boost repositories on GitHub. (Then, the default base branch of PR would be set to 'develop' branch.)
To change the default branch, it takes just a few clicks on web browser: https://help.github.com/articles/setting-the-default-branch/
Thoughts?
I tried to do this - but I don't have a settings icon on my github page
Regards, Michel
P.S. Some libraries have already done this, but most of Boost libraries don't do this yet.
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost