jayvdb added a comment.
@legoktm pointed me towards this as where the mediawiki linter is hardwired into jenkins https://github.com/wikimedia/integration-config/blob/master/jjb/job-template...
TASK DETAIL https://phabricator.wikimedia.org/T87169
REPLY HANDLER ACTIONS Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign <username>.
EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: jayvdb Cc: gerritbot, hashar, Legoktm, jayvdb, Aklapper, greg, pywikipedia-bugs