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

On 25 October 2017 at 20:05, Daniel James wrote:

Or if you want to configure git to fetch all pull requests (including closed pull requests), do this in your repo:

git config --add remote.origin.fetch "+refs/pull/*/head:refs/remotes/origin/pr/*"

Sorry, that word wrapped, it should be one line.