Git now supports `git push {{remote}} --delete {{branch}}` (since 1.7).
Should we show that one instead?