Skip to content

Instantly share code, notes, and snippets.

@pgib
Created March 29, 2012 20:40
Show Gist options
  • Select an option

  • Save pgib/2243586 to your computer and use it in GitHub Desktop.

Select an option

Save pgib/2243586 to your computer and use it in GitHub Desktop.
shell function to open pull request
essentials-push()
{
if [ $# -lt 1 ]; then
echo "Usage: $0 '<pull request heading>'"
return
fi
open `hub pull-request "$1" -b coverall:essentials`
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment