On Fri, Oct 23, 2015 at 1:09 PM, Michel Morin
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 wish there was a global default that could be set for all boost libraries to default pull requests to develop. Is it possible to write a curl script that could make the change for all libraries? --Beman