Allow Akaros Pseudo-user to push.

groups

diff --git a/groups b/groups
index 02eda2f..e83087c 100644
--- a/groups
+++ b/groups
@@ -1,7 +1,8 @@
-# UUID                 	Group Name
+# UUID                                  	Group Name
 #
-global:Anonymous-Users 	Anonymous Users
-global:Project-Owners  	Project Owners
-global:Registered-Users	Registered Users
-mdb:akaros             	mdb/akaros
-mdb:gerritcodereview   	mdb/gerritcodereview
+63e39719427665e83e03530767546a82273651f9	akaros-git-pusher
+global:Anonymous-Users                  	Anonymous Users
+global:Project-Owners                   	Project Owners
+global:Registered-Users                 	Registered Users
+mdb:akaros                              	mdb/akaros
+mdb:gerritcodereview                    	mdb/gerritcodereview

project.config

diff --git a/project.config b/project.config
index 7304875..d07488d 100644
--- a/project.config
+++ b/project.config
@@ -24,6 +24,7 @@
 	forgeCommitter = group Project Owners
 	forgeCommitter = group mdb/akaros
 	push = group Project Owners
+	push = +force group akaros-git-pusher
 	push = group mdb/akaros
 	label-Code-Review = -2..+2 group Project Owners
 	label-Code-Review = -2..+2 group mdb/akaros