Subject: Re: [boost] Seems like I need write-access to merge a PR
From: Daniel James (dnljms_at_[hidden])
Date: 2017-10-25 19:07:01
On 25 October 2017 at 20:05, Daniel James <dnljms_at_[hidden]> 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
Sorry, that word wrapped, it should be one line.