Re: [boost] [GitHub] [PR] setting default branch to 'develop'

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:
> 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
>