Revert "Remove the verified label.. doesn't work with jenkins anyway"
This reverts commit 2f01f837b98bd13339c65a3d963c79e2d2983cb7.
diff --git a/project.config b/project.config
index 36915cf..fed4474 100644
--- a/project.config
+++ b/project.config
@@ -40,6 +40,9 @@
submit = group Reviewers
editTopicName = +force group Administrators
editTopicName = +force group Project Owners
+ label-Verified = -1..+1 group Administrators
+ label-Verified = -1..+1 group Non-Interactive Users
+ label-Verified = -1..+1 group Project Owners
[access "refs/meta/config"]
exclusiveGroupPermissions = read
read = group Administrators