On Thu, 9 Mar 2017 09:38:55 -0500, Rob Tompkins wrote:
On Mar 9, 2017, at 8:08 AM, Gilles <gil...@harfang.homelinux.org>
wrote:
On Wed, 8 Mar 2017 10:37:44 -0600, Matt Sicker wrote:
The "write to a PR branch" was something I mentioned in a different
email.
If you want a single command to merge a PR into master, assuming
you've
already set up "github" as your github remote:
$ git remote -v
github https://github.com/apache/commons-math.git (fetch)
github https://github.com/apache/commons-math.git (push)
origin https://git-wip-us.apache.org/repos/asf/commons-math.git
(fetch)
origin https://git-wip-us.apache.org/repos/asf/commons-math.git
(push)
git pull github pull/42
git push
Something like that should work.
$ git pull github pull/50
fatal: Couldn't find remote ref pull/50
Am I missing something?
Try
git pull github pull/#/head
It successfully performs a merge into the current branch, but does
not preserve the commit history (only the merge appears in "git log").
IIRC, the generated instructions[1] would lead to the contributor's
commit being referenced properly.
Regards,
Gilles
[1] Such as in:
https://issues.apache.org/jira/browse/NUMBERS-4
-Rob
Regards,
Gilles
[...]
---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org
For additional commands, e-mail: dev-h...@commons.apache.org
