diff --git a/doc/source/gerrit.rst b/doc/source/gerrit.rst index 71d14cae90..442ed67f19 100644 --- a/doc/source/gerrit.rst +++ b/doc/source/gerrit.rst @@ -242,6 +242,7 @@ Next, edit ``project.config`` to look like:: pushMerge = group Continuous Integration Tools [access "refs/heads/*"] + editHashtags = group Registered Users label-Code-Review = -2..+2 group Project Bootstrappers label-Code-Review = -1..+1 group Registered Users label-Verified = -2..+2 group Continuous Integration Tools