diff --git a/doc/source/gerrit.rst b/doc/source/gerrit.rst
index 2574a7b04b..0116ff5f75 100644
--- a/doc/source/gerrit.rst
+++ b/doc/source/gerrit.rst
@@ -335,6 +335,9 @@ Next, edit ``project.config`` to look like::
   [project]
   description = Rights inherited by all other projects
 
+  [receive]
+  rejectImplicitMerges = true
+
 Now edit the groups file. The format is::
 
   #UUID  Group Name