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.