Update group names

diff --git a/groups b/groups
index cb72630b91263e004b70a351cba7915b2086d1cd..f371573b0edd412d4e874dd3bb21ba0b512fb264 100644 (file)
--- a/groups
+++ b/groups
@@ -1,6 +1,6 @@
 # UUID                                         Group Name
 #
-0eb401ba39f59b3e4efe0790e5c33300510803b5       Non-Interactive Users
+0eb401ba39f59b3e4efe0790e5c33300510803b5       Service Users
 26b96b3f191954a6652ac7cbf20b58d0181942dc       Non-Interactive Read-Only Users
 fd8a5a3ae9e24e461d0cec4816e0d67c2d5469ed       Administrators
 global:Project-Owners                          Project Owners

diff --git a/project.config b/project.config
index 3431a90c2dfa3a3ca7eddbb3fd355e8c9b8c680e..14386805d53ddea5a6842bbbe3ae376c57114f84 100644 (file)
--- a/project.config
+++ b/project.config
@@ -3,7 +3,7 @@
 [access "refs/*"]
        read = group Administrators
        read = group Registered Users
-       forgeServerAsCommitter = group Non-Interactive Users
+       forgeServerAsCommitter = group Service Users
        revert = group Registered Users
 [access "refs/meta/config"]
        push = group Administrators
@@ -67,7 +67,7 @@
        createProject = group Administrators
        priority = batch group Administrators
        priority = batch group Non-Interactive Read-Only Users
-       priority = batch group Non-Interactive Users
+       priority = batch group Service Users
        streamEvents = group Administrators
        streamEvents = group Non-Interactive Read-Only Users
-       streamEvents = group Non-Interactive Users
+       streamEvents = group Service Users