jayvdb added a comment.
An alternative is to use JSON to store the whitelist
(
https://phabricator.wikimedia.org/T95143), which would be an extension of Load the
settings from wiki <https://gerrit.wikimedia.org/r/#/c/201446>.
TASK DETAIL
https://phabricator.wikimedia.org/T95142
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: XZise, jayvdb
Cc: pywikipedia-bugs, XZise, Ricordisamoa, jayvdb, Aklapper