On 12/29/2014 07:09 PM, Rene Rivera wrote:
On Mon, Dec 29, 2014 at 10:06 AM, Vladimir Prus <vladimir@codesourcery.com> 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 <review merge for correctness, run tests> 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 <review merge for correctness, run tests> 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