Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Robert Ramey (ramey_at_[hidden])
Date: 2015-10-27 21:34:03
On 10/23/15 10:09 AM, Michel Morin wrote:
> 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:
I tried to do this - but I don't have a settings icon on my github page
> 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
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk