Chad has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/404745 )
Change subject: Allow mediawiki group to push signed tags ...................................................................... Allow mediawiki group to push signed tags Change-Id: I9f97024d5ecdbed1073e90c5131ce382fa01d215 --- M groups M project.config 2 files changed, 2 insertions(+), 0 deletions(-) Approvals: Chad: Verified; Looks good to me, approved diff --git a/groups b/groups index b44c1b2..85413aa 100644 --- a/groups +++ b/groups @@ -1,5 +1,6 @@ # UUID Group Name # 2bc47fcadf4e44ec9a1a73bcfa06232554f47ce2 JenkinsBot +4cdcb3a1ef2e19d73bc9a97f1d0f109d2e0209cd mediawiki a667323336b66ba1423b73fa979948a8165074d5 at-ease global:Registered-Users Registered Users diff --git a/project.config b/project.config index 7b2b715..5d2b1a2 100644 --- a/project.config +++ b/project.config @@ -5,6 +5,7 @@ [access "refs/*"] owner = group at-ease pushSignedTag = group at-ease + pushSignedTag = group mediawiki [project] description = wfSuppressWarnings/wfRestoreWarnings library [access "refs/heads/*"] -- To view, visit https://gerrit.wikimedia.org/r/404745 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9f97024d5ecdbed1073e90c5131ce382fa01d215 Gerrit-PatchSet: 1 Gerrit-Project: at-ease Gerrit-Branch: refs/meta/config Gerrit-Owner: Reedy <re...@wikimedia.org> Gerrit-Reviewer: Chad <ch...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits