Chad has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/326202 )
Change subject: Updating config to drop obsolete rules
......................................................................
Updating config to drop obsolete rules
Change-Id: Ib1e0ddeea30e713776bccb9b069731fa3eecafaf
---
M project.config
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Chad: Verified; Looks good to me, approved
diff --git a/project.config b/project.config
index db6d135..76641e4 100644
--- a/project.config
+++ b/project.config
@@ -4,5 +4,5 @@
[access "refs/*"]
owner = group mediawiki-skins
push = group ldap/ops
-[allowSuperproject "mediawiki/skins"]
- matching = refs/heads/REL1_27:refs/heads/REL1_27
+
+
--
To view, visit https://gerrit.wikimedia.org/r/326202
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ib1e0ddeea30e713776bccb9b069731fa3eecafaf
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/skins/webplatform
Gerrit-Branch: refs/meta/config
Gerrit-Owner: Chad <ch...@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
