[00:10:34] <wikibugs>	 10Jade, 10Projects-Cleanup: Empty the JADE repository in Gerrit (superseded by Jade repository) - https://phabricator.wikimedia.org/T274680 (10Aklapper) Thank you everyone!
[18:05:45] <wikibugs>	 (03Abandoned) 10Umherirrender: Follow-up eacb961a: Configure eslint for JSON files now we've droped jsonlint [extensions/ORES] - 10https://gerrit.wikimedia.org/r/626801 (https://phabricator.wikimedia.org/T220036) (owner: 10Jforrester)