Skip to content

Instantly share code, notes, and snippets.

@rbsgn
Created June 29, 2015 07:45
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save rbsgn/205d619bdb5dfa5f8489 to your computer and use it in GitHub Desktop.
Save rbsgn/205d619bdb5dfa5f8489 to your computer and use it in GitHub Desktop.
Merge pull request from the command line
  1. git ls-remote origin to find pull request you want to merge. Usually their names start with refs/pull-requests/$ID/from (Atlassian Stash style) or refs/pull/$ID/head (GitHub style).
  2. git fetch origin refs/pull-requests/$ID/from or git fetch origin refs/pull/$ID/head and work with the branch from FETCH_HEAD
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment