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

Subject: Re: [boost] [GitHub] [PR] setting default branch to 'develop'
From: Glen Fernandes (glen.fernandes_at_[hidden])
Date: 2015-10-29 21:12:33

On Thu, Oct 29, 2015, John Maddock wrote:
>
> This also has the side-effect that if someone hits the "download zip" button
> they get develop, which is probably not what we want?
>

I feel that it is certainly not what we want. It seems
counter-intuitive (going by what appears to be widespread practice
with public git repositories) that the 'default' branch is not the
stable one.

I understand the motivation, but couldn't we just request from any
contributors to submit a new pull request against 'develop' instead of
'master'?

Glen