Paladox has uploaded a new change for review. https://gerrit.wikimedia.org/r/239584
Change subject: This might fix https://phabricator.wikimedia.org/T113158 ...................................................................... This might fix https://phabricator.wikimedia.org/T113158 It does not need to be set and also doesn't need exclusive. Right inherit already allows Jennings to +2 and -2 including registered users being allowed +1 or 0 --- M groups M project.config 2 files changed, 0 insertions(+), 7 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/TopTenPages refs/changes/84/239584/1 diff --git a/groups b/groups index 41fea8b..37cc9d5 100644 --- a/groups +++ b/groups @@ -1,5 +1,3 @@ # UUID Group Name # -2bc47fcadf4e44ec9a1a73bcfa06232554f47ce2 JenkinsBot d75599de3b80c28dba829e415664980d0d980482 extension-TopTenPages -global:Registered-Users Registered Users diff --git a/project.config b/project.config index a088262..9c7566a 100644 --- a/project.config +++ b/project.config @@ -2,8 +2,3 @@ inheritFrom = mediawiki/extensions [access "refs/*"] owner = group extension-TopTenPages -[access "refs/heads/*"] - exclusiveGroupPermissions = label-Verified submit - label-Verified = -1..+2 group JenkinsBot - label-Verified = -1..+0 group Registered Users - submit = group JenkinsBot -- To view, visit https://gerrit.wikimedia.org/r/239584 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I88ed820a65c9705e85bfd18c798a8976e1910741 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/TopTenPages Gerrit-Branch: refs/meta/config Gerrit-Owner: Paladox <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
