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

Subject: Re: [boost] Seems like I need write-access to merge a PR
From: Peter Dimov (lists_at_[hidden])
Date: 2017-10-25 19:50:59

Vinnie Falco wrote:

> My motto is "Trust in God, but always run the tests locally."

What I do is click the "view command-line instructions" and apply only the 
"git pull" line to my "develop" branch, then run my local tests.

The instructions as they appear make you create a separate local branch and 
merge that instead, but I find this to be of little value as I don't mind 
the merge commits.