Skip to content

Instantly share code, notes, and snippets.

@rhysd

rhysd/git-pull-pr.bash

Created January 31, 2018 10:30
Show Gist options
  • Save rhysd/e4550a7a441eb76b4e514adcc4e34ead to your computer and use it in GitHub Desktop.
Save rhysd/e4550a7a441eb76b4e514adcc4e34ead to your computer and use it in GitHub Desktop.
Download ZIP
Raw
git-pull-pr.bash
#! /bin/bash
set -e
if [[ "$1" == "" ]]; then
echo "Usage: git pull-pr {PR number}" 1>&2
exit 1
fi
git fetch origin "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