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 4f000b3..75df270 100644
--- a/project.config
+++ b/project.config
@@ -51,7 +51,7 @@
submit = group Administrators
submit = group Project Owners
[access "refs/tags/*"]
- pushTag = +force group Administrators
+ pushTag = group Administrators
pushTag = group Project Owners
pushSignedTag = group Administrators
pushSignedTag = group Project Owners
@@ -62,7 +62,7 @@
copyAllScoresOnTrivialRebase = true
value = -2 Do not submit
value = -1 I would prefer that you didn't submit this
- 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
defaultValue = 0
@@ -70,7 +70,7 @@
function = MaxWithBlock
copyAllScoresIfNoCodeChange = true
value = -1 Fails
- value = 0 No score
+ value = 0 No score
value = +1 Verified
defaultValue = 0
[label "Code-Style"]