From ea438cb779671d62a12265b3848c89ec47fe2255 Mon Sep 17 00:00:00 2001
From: Patrick Georgi <pgeorgi@google.com>
Date: Fri, 18 Aug 2017 11:08:14 +0000
Subject: [PATCH] Modify access rules

---
 project.config | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/project.config b/project.config
index 88bd0b070..61edec7da 100644
--- a/project.config
+++ b/project.config
@@ -36,3 +36,5 @@
 	delete = group user/David Hendricks (dhendrix)
 	delete = group user/Stefan Tauner (stefanct)
 	exclusiveGroupPermissions = create delete
+[access "refs/*"]
+	label-Verified = -1..+1 group user/Stefan Tauner (stefanct)