Remove force option from 'Push Annotated Tag' permission
The force option on 'Push Annotated Tag' had no effect and is no longer
supported.
diff --git a/project.config b/project.config
index 474a627..11ec65f 100644
--- a/project.config
+++ b/project.config
@@ -52,9 +52,9 @@
submit = group Administrators
submit = group Project Owners
[access "refs/tags/*"]
- pushTag = +force group Administrators
+ pushTag = group Administrators
pushTag = group Internal
- pushTag = +force group Project Owners
+ pushTag = group Project Owners
pushSignedTag = group Administrators
pushSignedTag = group Internal
pushSignedTag = group Project Owners
@@ -65,7 +65,7 @@
copyMinScore = true
value = -2 This shall not be merged
value = -1 I would prefer this is not merged as is
- value = 0 No score
+ value = 0 No score
value = +1 Looks good to me, but someone else must approve
value = +2 Looks good to me, approved
[access "refs/heads/reviewers/settings/*"]