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

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.