Modify access rules

project.config

diff --git a/project.config b/project.config
index bdde611..e6bba3c 100644
--- a/project.config
+++ b/project.config
@@ -30,7 +30,7 @@
 	create = group admins
 	forgeAuthor = group admins
 	forgeCommitter = group admins
-	push = group admins
+	push = +force group admins
 	label-Code-Review = -2..+2 group approvers
 	label-Code-Review = -1..+1 group Registered Users
 	submit = group approvers