deleting annotated tags is now allowed in GitLab: https://gitlab.com/gitlab-org/gitlab-ce/issues/52954
