jenkins-bot has submitted this change and it was merged.
Change subject: Remove unused mwext-MaintenanceShell-jslint job
......................................................................
Remove unused mwext-MaintenanceShell-jslint job
* Remove unused and unneeded mwext-MaintenanceShell test
Change-Id: I1a0bb9641bdd2aa26bf4de55c7563acc3c4d581a
---
M jjb/mediawiki-extensions.yaml
1 file changed, 0 insertions(+), 1 deletion(-)
Approvals:
Krinkle: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index 0050f51..b659c03 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -800,7 +800,6 @@
- mwext-Loops
- mwext-MagicNoCache
- mwext-Maintenance
- - mwext-MaintenanceShell
- mwext-Maps
- mwext-MarkAsHelpful
- mwext-MassEditRegex
--
To view, visit https://gerrit.wikimedia.org/r/225293
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1a0bb9641bdd2aa26bf4de55c7563acc3c4d581a
Gerrit-PatchSet: 6
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Paladox <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Krinkle <[email protected]>
Gerrit-Reviewer: Paladox <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
