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

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.