Re: [boost] [githelp] Pulling to arbitrary branch?

29 Dec 2014

      On 12/29/2014 07:09 PM, Rene Rivera wrote:
...
On Mon, Dec 29, 2014 at 10:06 AM, Vladimir Prus 
wrote:
...
On 12/29/2014 06:56 PM, Rene Rivera wrote:
...
I have a pull request against one branch (master). But I want to pull it
into a different branch (develop). Is that possible? And if so, how?
You can pull it manually - the pull request page has instructions.
OK, good..
Could you give the URL of the pull request, so that I can provide specific
...
instructions?
It's this one: https://github.com/boostorg/predef/pull/17
Okay, then switch to devel locally, and do this:

	git fetch https://github.com/jessicah/predef.git feature/haiku-support
	git merge --no-ff FETCH_HEAD

	git push

Somewhat better approach is:

	git fetch https://github.com/jessicah/predef.git feature/haiku-support
	git cherry-pick FETCH_HEAD^
	git cherry-pick FETCH_HEAD

	git push

This will apply two comments in the pull request individually, making nicer history.

(I don't know how to perform these actions in any GUI)

HTH,

-- 
Vladimir Prus
CodeSourcery / Mentor Embedded
http://vladimirprus.com