Skip to content

Instantly share code, notes, and snippets.

@glogiotatidis
Created April 11, 2014 14:16
Show Gist options
  • Save glogiotatidis/10472437 to your computer and use it in GitHub Desktop.
Save glogiotatidis/10472437 to your computer and use it in GitHub Desktop.
Pull github pr
#!/bin/bash
PROJECT=$1
PULL=$2
# Usage
[[ -z $1 ]] || [[ -z $2 ]] && {
echo "Rerun a github pr with a project and a pull ."
echo -e " $ $(basename $0) PROJECT PULLNUM"
exit 1
}
git checkout -b gh-${PULL}
curl https://github.com/mozilla/${PROJECT}/pull/${PULL}.patch | git am
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment