[MediaWiki-commits] [Gerrit] Adding mediawiki/extensions/LanguageTool - change (integration/config)
jenkins-bot has submitted this change and it was merged. Change subject: Adding mediawiki/extensions/LanguageTool .. Adding mediawiki/extensions/LanguageTool Bug: T104760 Change-Id: I02c9f0299891126024a919c5bbfa73ab850af772 --- M zuul/layout.yaml 1 file changed, 7 insertions(+), 0 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/zuul/layout.yaml b/zuul/layout.yaml index 81fe69a..833facf 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -3971,6 +3971,13 @@ check: - jsonlint + - name: mediawiki/extensions/LanguageTool +template: + - name: extension-unittests-generic + - name: npm +check: + - jsonlint + - name: mediawiki/extensions/LastModified template: - name: extension-jslint -- To view, visit https://gerrit.wikimedia.org/r/222760 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I02c9f0299891126024a919c5bbfa73ab850af772 Gerrit-PatchSet: 4 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Eranroz eranro...@gmail.com Gerrit-Reviewer: Amire80 amir.ahar...@mail.huji.ac.il Gerrit-Reviewer: Hashar has...@free.fr Gerrit-Reviewer: Legoktm legoktm.wikipe...@gmail.com Gerrit-Reviewer: jenkins-bot ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] adding mediawiki/extensions/LanguageTool - change (integration/config)
Eranroz has uploaded a new change for review. https://gerrit.wikimedia.org/r/222760 Change subject: adding mediawiki/extensions/LanguageTool .. adding mediawiki/extensions/LanguageTool Change-Id: I02c9f0299891126024a919c5bbfa73ab850af772 --- M zuul/layout.yaml 1 file changed, 9 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/config refs/changes/60/222760/1 diff --git a/zuul/layout.yaml b/zuul/layout.yaml index bc4c9ef..2cc1599 100644 --- a/zuul/layout.yaml +++ b/zuul/layout.yaml @@ -3965,6 +3965,15 @@ check: - jsonlint + - name: mediawiki/extensions/LanguageTool +template: + - name: jshint + - name: extension-unittests-generic + - name: npm +check: + - jshint + - jsonlint + - name: mediawiki/extensions/LastModified template: - name: extension-jslint -- To view, visit https://gerrit.wikimedia.org/r/222760 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I02c9f0299891126024a919c5bbfa73ab850af772 Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Eranroz eranro...@gmail.com ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits