Boost logo

Boost :

Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Beman Dawes (bdawes_at_[hidden])
Date: 2015-10-27 20:02:03

On Fri, Oct 23, 2015 at 1:09 PM, Michel Morin <mimomorin_at_[hidden]> 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 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


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