And merge commits.

project.config

diff --git a/project.config b/project.config
index d07488d..cfe36ce 100644
--- a/project.config
+++ b/project.config
@@ -34,6 +34,7 @@
 	submit = group mdb/gerritcodereview
 	editTopicName = +force group Project Owners
 	editTopicName = +force group mdb/akaros
+	pushMerge = group akaros-git-pusher
 [access "refs/meta/config"]
 	exclusiveGroupPermissions = read
 	read = group Project Owners