On Mon, 18 Feb 2013 17:11:13 +0100, Tom Tromey wrote: > I'm ok with changing this. > Anybody else have comments on it? +1 I already have: git-push-f: #! /bin/bash set -ex branch="$(git branch|sed -n 's/^[*] \([^()]*\)$/\1/p')" test -n "$branch" git push origin ":$branch" git push origin "$branch" echo OK Jan