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