Deleting a release doesn't automatically delete the tag in the repo
If a release is created accidentally and then deleted, it should also automatically delete the tag it created in the repository (the tag that point to the commit for that release)
I know these tags are created to link a release to a particular commit in the repo.
However, deleting the release I expect the corresponding tag that was created to be deleted as well.
Proposal
Add a separate "Delete release & tag" button on the delete a release confirmation pop-up
Edited by Viktor Nagy (GitLab)