Chad has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/326200 )
Change subject: Remove superproject from All-Project ...................................................................... Remove superproject from All-Project It is safer that we do it in the sub projects like mediawiki/extensions. Change-Id: I1f5672932bf248fd8f3cce065621cd63a2d35392 --- M project.config 1 file changed, 2 insertions(+), 6 deletions(-) Approvals: Chad: Verified; Looks good to me, approved diff --git a/project.config b/project.config index d3835ec..4967b0f 100644 --- a/project.config +++ b/project.config @@ -90,9 +90,5 @@ addPatchSet = group Registered Users [plugin "its-phabricator"] enabled = true -[allowSuperproject "mediawiki/extensions"] - all = refs/heads/*:refs/heads/* -[allowSuperproject "mediawiki/skins"] - all = refs/heads/*:refs/heads/* -[allowSuperproject "mediawiki/core"] - all = refs/heads/*:refs/heads/* + + -- To view, visit https://gerrit.wikimedia.org/r/326200 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1f5672932bf248fd8f3cce065621cd63a2d35392 Gerrit-PatchSet: 3 Gerrit-Project: All-Projects Gerrit-Branch: refs/meta/config Gerrit-Owner: Paladox <thomasmulhall...@yahoo.com> Gerrit-Reviewer: Chad <ch...@wikimedia.org> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: Reedy <re...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits