[10:11:05] <wikibugs>	 (03PS1) 10Umherirrender: build: Replace jsonlint with eslint [extensions/UnusedRedirects] - 10https://gerrit.wikimedia.org/r/665610 (https://phabricator.wikimedia.org/T220036)
[18:04:01] <wikibugs>	 (03CR) 10Jforrester: [C: 03+2] build: Replace jsonlint with eslint [extensions/UnusedRedirects] - 10https://gerrit.wikimedia.org/r/665610 (https://phabricator.wikimedia.org/T220036) (owner: 10Umherirrender)
[18:11:39] <wikibugs>	 (03Merged) 10jenkins-bot: build: Replace jsonlint with eslint [extensions/UnusedRedirects] - 10https://gerrit.wikimedia.org/r/665610 (https://phabricator.wikimedia.org/T220036) (owner: 10Umherirrender)