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 acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk