Boost logo

Boost :

Subject: Re: [boost] Seems like I need write-access to merge a PR
From: Stefan Seefeld (stefan_at_[hidden])
Date: 2017-10-25 18:29:50

On 25.10.2017 14:17, Vinnie Falco via Boost wrote:
> On Wed, Oct 25, 2017 at 11:03 AM, Fernando Cacciola via Boost
> <boost_at_[hidden]> wrote:
>> but even though I'm logged with my Github account, it appears I don't have
>> write-access to merge this PR.
> I'm not a fan of using the GitHub web interface to merge pull requests
> because this needlessly creates a "merge commit" (usually with one
> side of the merge having just one commit) which interferes with a
> linear history (I prefer a linear history except for when there are
> two ongoing topical branches that are merged at some point).
That is no longer true (and hasn't for quite a while). Nowadays the web
interface allows you to select different PR merge methods, including the
traditional merge commit, a "squash and merge", or a "rebase and merge".
It sounds like what you'd prefer is the latter, to make the history linear.



      ...ich hab' noch einen Koffer in Berlin...

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