gerritbot added a comment.
Change 192571 merged by jenkins-bot:
Make UpdateRepo more robust
https://gerrit.wikimedia.org/r/192571
TASK DETAIL
https://phabricator.wikimedia.org/T76545
REPLY HANDLER ACTIONS
Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign
.
EMAI
gerritbot added a comment.
Change 192571 had a related patch set uploaded (by Hoo man):
Make UpdateRepo more robust
https://gerrit.wikimedia.org/r/192571
https://phabricator.wikimedia.org/tag/patch-for-review/
TASK DETAIL
https://phabricator.wikimedia.org/T76545
REPLY HANDLER ACTIONS
Repl
gerritbot added a subscriber: gerritbot.
gerritbot added a comment.
Change 181258 merged by jenkins-bot:
Make UpdateRepo more robust
https://gerrit.wikimedia.org/r/181258
TASK DETAIL
https://phabricator.wikimedia.org/T76545
REPLY HANDLER ACTIONS
Reply to comment or attach files, or !close,
aude added a comment.
this still happens
TASK DETAIL
https://phabricator.wikimedia.org/T76545
REPLY HANDLER ACTIONS
Reply to comment or attach files, or !close, !claim, !unsubscribe or !assign
.
EMAIL PREFERENCES
https://phabricator.wikimedia.org/settings/panel/emailpreferences/
To: au