Yuvipanda has uploaded a new change for review. https://gerrit.wikimedia.org/r/77713
Change subject: Remove bogus error reporting stats ...................................................................... Remove bogus error reporting stats Change-Id: I842904db1bd5b0b691569044c4401f443e457a0f --- M src/github-to-gerrit.py 1 file changed, 3 insertions(+), 9 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/labs/tools/SuchABot refs/changes/13/77713/1 diff --git a/src/github-to-gerrit.py b/src/github-to-gerrit.py index 5cd6978..5202978 100644 --- a/src/github-to-gerrit.py +++ b/src/github-to-gerrit.py @@ -164,12 +164,6 @@ logging.info('Redis connection to %s succeded', REDIS_HOST) - try: - while True: - data = json.loads(red.brpop(QUEUE_KEY)[1]) - do_review(data) - except: - gh.repos(OWNER, name).issues(pr_num).comments.post(body='Sorry, an error occured :( @yuvipanda will now be notified that this sync did not end well') - logging.exception("Error!") - finally: - sys.exit(-1) + while True: + data = json.loads(red.brpop(QUEUE_KEY)[1]) + do_review(data) -- To view, visit https://gerrit.wikimedia.org/r/77713 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I842904db1bd5b0b691569044c4401f443e457a0f Gerrit-PatchSet: 1 Gerrit-Project: labs/tools/SuchABot Gerrit-Branch: master Gerrit-Owner: Yuvipanda <yuvipa...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits