Skip to content

Instantly share code, notes, and snippets.

@glogiotatidis

glogiotatidis/github

Created April 11, 2014 14:16
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 glogiotatidis/10472437 to your computer and use it in GitHub Desktop.
Save glogiotatidis/10472437 to your computer and use it in GitHub Desktop.
Download ZIP
Pull github pr
Raw
github
#!/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