diff --git a/doc/source/gerrit.rst b/doc/source/gerrit.rst
index e29ec60484..fc905d24a2 100644
--- a/doc/source/gerrit.rst
+++ b/doc/source/gerrit.rst
@@ -306,6 +306,7 @@ Next, edit `project.config` to look like::
   label-Code-Review = -1..+1 group Registered Users
   label-Verified = -2..+2 group Continuous Integration Tools
   label-Verified = -2..+2 group Project Bootstrappers
+  label-Verified = -1..+1 group Continuous Integration Tools Development
   label-Verified = -1..+1 group Voting Third-Party CI
   label-Workflow = -1..+0 group Change Owner
   label-Workflow = -1..+1 group Project Bootstrappers