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.