Skip to content

Instantly share code, notes, and snippets.

@tuhdo
Created September 8, 2016 04:12
Show Gist options
  • Save tuhdo/f32aaeb9682473e01e4ff919d5ffc2c4 to your computer and use it in GitHub Desktop.
Save tuhdo/f32aaeb9682473e01e4ff919d5ffc2c4 to your computer and use it in GitHub Desktop.
In a Git repository:
git fetch origin pull/942/head && git checkout FETCH_HEAD
942 is the ID of this PR.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment