Delete a release tag on GitHub

Everyone knows how easy it is to create a release on GitHub but how can you revoke it?

This can be implemented quite easily in just a few steps:

git tag -d 1.0.0
git push origin :refs/tags/1.0.0

The first command deletes the respective tag locally, the second pushes it to GitHub. Afterwards the release, which is now marked as "Draft", can be deleted via the GitHub UI.