|
Boost : |
Subject: Re: [boost] Seems like I need write-access to merge a PR
From: Vinnie Falco (vinnie.falco_at_[hidden])
Date: 2017-10-25 18:50:17
On Wed, Oct 25, 2017 at 11:26 AM, James E. King, III via Boost
<boost_at_[hidden]> wrote:
> Vinnie, have you tried using the "Rebase and Merge" option in github?
> It eliminates the merge, but it does make a new commit ID.
I've tried all of them and I don't like any of the automated means of
merging pull requests. I don't merge code until I have brought it on
to my machine and compiled / ran tests. Then once it is on my machine
there is no need to use the GitHub interface because I can simply push
it.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk