I’m bound to forget this little cryptic command to delete branch foo.

git push origin :refs/tags/foo