Merge "Rename Gerrit Non-Interactive Users to Service Users"

doc/source/gerrit.rst

@@ -294,7 +294,7 @@ Next, edit `project.config` to look like::
   administrateServer = group Administrators
   createProject = group Project Bootstrappers
   emailReviewers = deny group Third-Party CI
-  priority = batch group Non-Interactive Users
+  priority = batch group Service Users
   runAs = group Project Bootstrappers
   streamEvents = group Registered Users
 
@@ -351,7 +351,7 @@ Now edit the groups file. The format is::
   1234567890123456789012345678901234567890  group-foo
 
 Each of the groups listed above under 'Groups' should have an entry as well as
-the built in groups such as 'Non-Interactive Users' which may or may not be
+the built in groups such as 'Service Users' which may or may not be
 present in the initial groups file. You can find the UUID values by navigating
 to Admin -> Groups -> Group Name -> General in the Web UI.