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 <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
