Allow ability for developer role to delete tags
Problem to solve
According to https://docs.gitlab.com/ce/user/permissions.html, developers do not have permission to "Rewrite/remove Git tags". For our use case, we'd like to allow this.
Further details
For projects on Drupal.org, we plan to have Drupal.org be the canonical record of a project's maintainers, synced to a GitLab instance via GitLab's API. To help enforce this, we're giving project maintainers developer access to their projects.
(We do have some protected branches and tags, those associated with releases, which will be enforced via a script in /etc/gitlab-shell/update.d)
For these projects, we'd like to allow developers to delete tags. For example, if they want to correct a release tag before the release is created, or just want to clean up unused tags.
Proposal
This could be an option alongside other push rules.
What does success look like, and how can we measure that?
This is customizable at least site-wide.