Skip to content

Instantly share code, notes, and snippets.

@jasonrhodes
Created October 16, 2014 20:03
Show Gist options
  • Star 1 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jasonrhodes/e9f3ef2990911bcea846 to your computer and use it in GitHub Desktop.
Save jasonrhodes/e9f3ef2990911bcea846 to your computer and use it in GitHub Desktop.
Because sometimes `gut punch origin master` is more accurate
# In ~/.bash_profile or ~/.profile, whichever you use
alias gut="git"
# In ~/.gitconfig
[alias]
punch = push
# Or maybe more acccurately
[alias]
punch = push -f
# Then afterwards:
$ source ~/.bash_profile
# or
$ source ~/.profile
# Then you can be all
$ gut punch origin master
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment