Boost logo

Boost :

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
> "+refs/pull/*/head:refs/remotes/origin/pr/*"

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at