Re: [boost] Seems like I need write-access to merge a PR

On Wed, Oct 25, 2017 at 11:26 AM, James E. King, III via Boost 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.