mirror of https://github.com/zulip/zulip.git
45324e08c1
mypy was super confused because the name "zulip" was both an import and a global variable in the file. |
||
---|---|---|
.. | ||
__init__.py | ||
check-mirroring | ||
gcal-bot | ||
githook-post-receive | ||
irc-mirror.py | ||
jabber_mirror.py | ||
jabber_mirror_backend.py | ||
log2zulip | ||
process_ccache | ||
summarize_stream.py | ||
sync-public-streams | ||
zephyr_mirror.py | ||
zephyr_mirror_backend.py | ||
zmirror-renew-kerberos | ||
zmirror_private.conf.template | ||
zuliprc.nagios |