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

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