Delete a remote git branch

Why is this on HN? It's a trivial bit of extremely basic git syntax. It's not even the most user-friendly version, which is `git push --delete origin v2`.