git ls-remote origin
to find pull request you want to merge. Usually their names start withrefs/pull-requests/$ID/from
(Atlassian Stash style) orrefs/pull/$ID/head
(GitHub style).git fetch origin refs/pull-requests/$ID/from
orgit fetch origin refs/pull/$ID/head
and work with the branch fromFETCH_HEAD
Created
June 29, 2015 07:45
-
-
Save rbsgn/205d619bdb5dfa5f8489 to your computer and use it in GitHub Desktop.
Merge pull request from the command line
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment