mirror of https://github.com/zulip/zulip.git
8b6b950b1d
Realistically, if the bot crashes once, it'll probably crash the next time too, so I'm not convinced we need this loop at all, but in the interests of avoiding churn on an extensively tested script, I'm going to err on the side of the minimal change here. (imported from commit e2bbd3700395ba4d0b181a4616e816e8f1231669) |
||
---|---|---|
.. | ||
__init__.py | ||
check-mirroring | ||
check_send_receive.py | ||
feedback-bot | ||
gcal-bot | ||
humbug_trac_config.py | ||
sync-public-streams | ||
tddium-notify-humbug | ||
twitter-bot.py | ||
zephyr-mirror-crontab | ||
zephyr_mirror.py | ||
zephyr_mirror_backend.py |