# HG changeset patch # User Jeff Hammel # Date 1375830268 25200 # Node ID d214e0f38ab181042e5207b180c1c19fcf362019 # Parent ee7e213d12bdd3356c8318788164f37163a0779f -> pushbranch diff -r ee7e213d12bd -r d214e0f38ab1 .gitconfig --- a/.gitconfig Tue Aug 06 11:28:23 2013 -0700 +++ b/.gitconfig Tue Aug 06 16:04:28 2013 -0700 @@ -8,7 +8,7 @@ branchname = git rev-parse --abbrev-ref HEAD discard = reset HEAD --hard patch = !git diff > ~/$(git rev-parse --abbrev-ref HEAD).diff - pushbug = !git push origin $(git rev-parse --abbrev-ref HEAD) + pushbranch = !git push origin $(git rev-parse --abbrev-ref HEAD) root = rev-parse --show-toplevel st = status up = !git pull mozilla master && git push origin master