Skip to content

Instantly share code, notes, and snippets.

@vinhui
Created November 14, 2018 13:33
Show Gist options
  • Save vinhui/a9575c77024a71246e84de261c33e2c3 to your computer and use it in GitHub Desktop.
Save vinhui/a9575c77024a71246e84de261c33e2c3 to your computer and use it in GitHub Desktop.
Handy gitgui tools items
[guitool "checkout selected"]
cmd = git checkout -- \"$FILENAME\"
noconsole = yes
needsfile = yes
[guitool "pull origin"]
cmd = git pull
[guitool "reset everything"]
cmd = git reset --hard HEAD
confirm = yes
[guitool "delete selected"]
cmd = rm \"$FILENAME\"
noconsole = yes
needsfile = yes
confirm = yes
[guitool "push tags"]
cmd = git push --tags
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment