Skip to content

Instantly share code, notes, and snippets.

Created Apr 14, 2020
What would you like to do?
script to fetch the PR and switched to the right branch
#Create a bash in your ~/.bash_profile
# Do `source ~/.bash_profile` or reopen the console to make it work.
# Call `pr 1234` (1234 is the pull request number)
# the PR will be fetched and switched to the right branch
pr() {
git fetch upstream pull/$1/head:pr-$1
git checkout pr-$1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment