commit | 26fa729ac28cf30ede814bb7855a39c5791cbc51 | [log] [tgz] |
---|---|---|
author | Dan Cross <dcross@google.com> | Wed May 18 22:02:16 2016 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed May 18 22:02:16 2016 +0000 |
tree | 3a3e47d26bedf49218481445f5d7badb77c1b7e1 | |
parent | f3ee5db58386b6b7134c0f99a1c2583ea6f49b05 [diff] |
And merge commits.
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