jenkins-bot has submitted this change and it was merged.
Change subject: PronunciationRecording: Remove legacy-mwext-jslint job
......................................................................
PronunciationRecording: Remove legacy-mwext-jslint job
Change-Id: I9f2e963c59628432070c60511441e789f6d30be2
---
M jjb/mediawiki-extensions.yaml
M zuul/layout.yaml
2 files changed, 0 insertions(+), 3 deletions(-)
Approvals:
JanZerebecki: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/mediawiki-extensions.yaml b/jjb/mediawiki-extensions.yaml
index 4ac05de..04beede 100644
--- a/jjb/mediawiki-extensions.yaml
+++ b/jjb/mediawiki-extensions.yaml
@@ -856,7 +856,6 @@
- mwext-PrefSwitch
- mwext-Premoderation
- mwext-PrivateDomains
- - mwext-PronunciationRecording
- mwext-ProtectSite
- mwext-PubSubHubbub
- mwext-PurgeClickThrough
diff --git a/zuul/layout.yaml b/zuul/layout.yaml
index 0f6a72c..7db63b0 100644
--- a/zuul/layout.yaml
+++ b/zuul/layout.yaml
@@ -1158,8 +1158,6 @@
voting: false
- name: mwext-PrivateDomains-jslint
voting: false
- - name: mwext-PronunciationRecording-jslint
- voting: false
- name: mwext-ProtectSite-jslint
voting: false
- name: mwext-PubSubHubbub-jslint
--
To view, visit https://gerrit.wikimedia.org/r/233186
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I9f2e963c59628432070c60511441e789f6d30be2
Gerrit-PatchSet: 4
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Jforrester <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: JanZerebecki <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
