Teach git push .git/branches shorthand