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, !claim, !unsubscribe or !assign <username>. EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: gerritbot Cc: gerritbot, aude, Aklapper, daniel, hoo, Wikidata-bugs _______________________________________________ Wikidata-bugs mailing list Wikidata-bugs@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs