[MediaWiki-commits] [Gerrit] mediawiki...Wikisource[master]: build: Allow empty input list for stylelint
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/389280 ) Change subject: build: Allow empty input list for stylelint .. build: Allow empty input list for stylelint Change-Id: I1a07cfe2d090d17e3a762b08f59d69e7b759e113 --- M Gruntfile.js 1 file changed, 3 insertions(+), 0 deletions(-) Approvals: Umherirrender: Looks good to me, approved jenkins-bot: Verified diff --git a/Gruntfile.js b/Gruntfile.js index d65e184..afa2bd1 100644 --- a/Gruntfile.js +++ b/Gruntfile.js @@ -15,6 +15,9 @@ ] }, stylelint: { + options: { + allowEmptyInput: true + }, all: [ 'modules/**/*.css' ] -- To view, visit https://gerrit.wikimedia.org/r/389280 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1a07cfe2d090d17e3a762b08f59d69e7b759e113 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikisource Gerrit-Branch: master Gerrit-Owner: Umherirrender Gerrit-Reviewer: Umherirrender Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...Wikisource[master]: build: Allow empty input list for stylelint
Umherirrender has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/389280 ) Change subject: build: Allow empty input list for stylelint .. build: Allow empty input list for stylelint Change-Id: I1a07cfe2d090d17e3a762b08f59d69e7b759e113 --- M Gruntfile.js 1 file changed, 3 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikisource refs/changes/80/389280/1 diff --git a/Gruntfile.js b/Gruntfile.js index d65e184..afa2bd1 100644 --- a/Gruntfile.js +++ b/Gruntfile.js @@ -15,6 +15,9 @@ ] }, stylelint: { + options: { + allowEmptyInput: true + }, all: [ 'modules/**/*.css' ] -- To view, visit https://gerrit.wikimedia.org/r/389280 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I1a07cfe2d090d17e3a762b08f59d69e7b759e113 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikisource Gerrit-Branch: master Gerrit-Owner: Umherirrender ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits