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
