1c1519109a
Previously we were spending 15 seconds on linerva (and more like 2.5 minutes on the not-yet-operational zmirror.humbughq.com) to subscribe to all of our streams. (imported from commit c36cb1c26868f142683d9c92d4875fcd4931886e) |
||
---|---|---|
.. | ||
__init__.py | ||
check-mirroring | ||
feedback-bot | ||
gcal-bot | ||
humbug_trac.py | ||
mit_subs_list.py | ||
zephyr_mirror.py |