Re: [boost] [github] default PR destination

Subject: Re: [boost] [github] default PR destination
From: Beman Dawes (bdawes_at_[hidden])
Date: 2014-01-06 09:00:13

On Sat, Jan 4, 2014 at 6:51 AM, Tim Blechmann <tim_at_[hidden]> wrote:

> hi all,
>
> any opinion to change the default branch from "master" to "develop"?
>
> with the boost branching model all contributions via github's pull
> requests apparently have to go to "develop" rather than going directly
> into "master", so this should be the default destination for pull
> requests. github allows to set the default branch [1] ... not sure if
> this has any other side effects, but i'd vote for changing the default
> to "develop".
>
> thoughts?
>

This is a very interesting thread, but I just don't have enough experience
with pull requests to form an opinion yet. Worse yet, many other Boost
contributors don't have pull request experience either.

I'm starting to get pull request for libraries I maintain, and will process
them ASAP to develop experience. It looks like other libraries are also
starting to get pull requests.

The opinions of people who are relatively new to this list are also
important, but since this question doesn't seem to require immediate action
I think it is just going to have to bake a awhile longer.

Thanks,

--Beman