Gentoo Archives: gentoo-dev

From: hasufell <hasufell@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] RFI: A better workflow for github pull requests
Date: Sat, 12 Sep 2015 21:15:28
Message-Id: 55F495E2.4090102@gentoo.org
In Reply to: Re: [gentoo-dev] RFI: A better workflow for github pull requests by "W. Trevor King"
1 On 09/12/2015 11:07 PM, W. Trevor King wrote:
2 > On Sat, Sep 12, 2015 at 10:11:27PM +0200, hasufell wrote:
3 >> We should probably auto-attach the patch from the pull request. This
4 >> can easily be done with link-rewriting, e.g.:
5 >> https://github.com/gentoo/gentoo/pull/83 to
6 >> https://github.com/gentoo/gentoo/pull/83.patch
7 >> yields a nice downloadable patch.
8 >
9 > Why not [1]:
10 >
11 > $ GITHUB_REMOTE=origin # adjust this to match whatever you call GitHub's gentoo/gentoo
12 > $ git config --add remote.$GITHUB_REMOTE.fetch +refs/pull/*/head:refs/remotes/$GITHUB_REMOTE/pr/*
13 >
14 > That will let you fetch the remote branch (e.g. origin/pr/83 assuming
15 > ‘origin’ is your GitHub remote). That seems easier than copy/pasting
16 > around commits and messing with ‘git am’ and other things that will
17 > change the committer, which will in turn invalidate any commit
18 > signatures (the patch seems to drop those anyway).
19 >
20
21 Because that is not a valid bug report. Patches must be attached to
22 bugzilla.

Replies

Subject Author
Re: [gentoo-dev] RFI: A better workflow for github pull requests "W. Trevor King" <wking@×××××××.us>
Re: [gentoo-dev] RFI: A better workflow for github pull requests Kent Fredric <kentfredric@×××××.com>