I should be more specific, this is for looking at github pr’s.
So if your submitters are forking, submitting prs on github.
We also have scripts for committing, but we are doing git -> github mirror
On March 14, 2018 at 10:15:04, Otto Fowler (ottobackwa...@gmail.com) wrote:
We have script to hel
We have script to help reviewers checkout PR’s in git, either in their own
repo
or just doing it in ~/tmp or something into a new repo.
So, I would run:
> checkout-pr 999
in the tmp directory, and end up with a local version that I can then build
and do whatever with.
would that help?
On March
On Tue, 13 Mar 2018 11:43:17 -0400, ajs6f wrote:
On Mar 13, 2018, at 11:20 AM, Gilles
wrote:
I didn't find it very easy to cooperate with developers who fork on
GitHub and submit PRs. I've now found the "git" command that creates a
branch from a PR, but it would be so much more comfortable
> On Mar 13, 2018, at 11:20 AM, Gilles wrote:
>
>
> I didn't find it very easy to cooperate with developers who fork on GitHub
> and submit PRs. I've now found the "git" command that creates a branch from a
> PR, but it would be so much more comfortable to just switch directory and do
> "git
