gerritbot added a comment.
Change 182575 merged by jenkins-bot: Detect if user doesn't have rights
https://gerrit.wikimedia.org/r/182575
TASK DETAIL https://phabricator.wikimedia.org/T85353
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: Omegat, gerritbot Cc: Aklapper, jayvdb, XZise, Omegat, pywikipedia-bugs