Turns out #git 1.7 allows `git push origin --delete branch_foo`. The `git push origin :branch_foo` syntax was always slightly unfortunate.