|
Boost : |
Subject: Re: [boost] Seems like I need write-access to merge a PR
From: Vinnie Falco (vinnie.falco_at_[hidden])
Date: 2017-10-25 19:38:17
On Wed, Oct 25, 2017 at 12:05 PM, Daniel James via Boost
<boost_at_[hidden]> wrote:
> You can fetch the pull request from your own repo, see:
>
> https://help.github.com/articles/checking-out-pull-requests-locally/#modifying-an-active-pull-request-locally
>
> 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/*"
Very nice, I did not know this!
This is a great opportunity to reiterate that learning git is a
life-long process, it seems like there is always something new to be
learned even if you've been using git for years.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk