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: Daniel James (dnljms_at_[hidden])
Date: 2017-10-25 19:05:14

On 25 October 2017 at 19:17, Vinnie Falco via Boost
<boost_at_[hidden]> wrote:
>
> * Add a remote for the user submitting the pull request
>
>     git remote add blowaxd git_at_[hidden]:BlowXD/numeric_conversion.git

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/*"