commit f3ee5db58386b6b7134c0f99a1c2583ea6f49b05
author Dan Cross <dcross@google.com> Wed May 18 22:00:49 2016 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Wed May 18 22:00:49 2016 +0000
tree 62d71acbf53ab488a29e5b81834d63e5497e16d4
parent 8d7c89b29f7d68c2d488bd02b97d6106a916a8c1

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