Doc tag protections
MODIFY
docs/contributing/repository-settings.md
docs/contributing/repository-settings.md
@@ -57,3 +57,10 @@ Same settings as above for new release branches (`release/**`), except:
* Allow deletions: CHECKED
So that bot PR branches can be deleted
+
+## Tag protections
+
+* `v*`
+
+ To prevent accidents. Though sometimes useful for release snafu, so may reconsider if
+ maintainers lose admin rights.

Doc tag protections (#6026)