jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/361703 )
Change subject: Remove Cards from release tools
......................................................................
Remove Cards from release tools
Bug: T167452
Change-Id: I02383248ca6c60c043f1f3231e0cb05acb7423f7
---
M make-wmf-branch/config.json
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Chad: Looks good to me, approved
jenkins-bot: Verified
diff --git a/make-wmf-branch/config.json b/make-wmf-branch/config.json
index bbfc3a7..c2d4b4b 100644
--- a/make-wmf-branch/config.json
+++ b/make-wmf-branch/config.json
@@ -10,7 +10,6 @@
"Calendar",
"Campaigns",
"Capiunto",
- "Cards",
"CategoryTree",
"CentralAuth",
"CharInsert",
--
To view, visit https://gerrit.wikimedia.org/r/361703
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I02383248ca6c60c043f1f3231e0cb05acb7423f7
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/tools/release
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: Chad <ch...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
