Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at