Modify access rules

diff --git a/project.config b/project.config
index e1155475bf85fbd3c147d16d5ec8834fa79643ef..2d9e2087642af4c2a6751911eefbe0bb5d384d7a 100644 (file)
--- a/project.config
+++ b/project.config
@@ -62,4 +62,4 @@
        create = group Administrators
 [access "refs/tags/submit/*"]
        create = group Administrators
-       push = group Administrators
+       push = +force group Administrators