commit fcbf8342380721a46f862e1a2c4b894db3319eb0
author Jing Jin <jingjin@google.com> Thu Jul 09 23:47:54 2015 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Thu Jul 09 23:47:54 2015 +0000
tree b52ec540cbe784fa7e9a1febc55b125caceb25f0
parent 2ab65b96c4fda172a6927953ea5953bd15929056

Allow "Admin Bot" to set Verified label.

groups

diff --git a/groups b/groups
index 9b8a8bf..e565ef4 100644
--- a/groups
+++ b/groups
@@ -1,3 +1,4 @@
 # UUID                                  	Group Name
 #
+02b802842ebce2c194a445b2bf837a60a25fe14a	Admin Bot
 669888c1b9fe697fe49373df3f27ca87ba49eb43	Bot Accounts

project.config

diff --git a/project.config b/project.config
index 6778234..4e6f5c7 100644
--- a/project.config
+++ b/project.config
@@ -9,4 +9,5 @@
 [project]
 	description = Access inherited by all other public verified projects.
 [access "refs/heads/*"]
+	label-Verified = -1..+1 group Admin Bot
 	label-Verified = -1..+1 group Bot Accounts