mirror of
https://github.com/zulip/zulip.git
synced 2026-06-18 21:01:52 +08:00
This required instead exempting these files:
bots/jabber_mirror_backend.py
tools/deprecated/iframe-bot/show-last-messages
Turning on mypy for the API exposes issues in the annotations
of other files.
|
||
|---|---|---|
| .. | ||
| __init__.py | ||
| check-mirroring | ||
| gcal-bot | ||
| githook-post-receive | ||
| irc-mirror.py | ||
| jabber_mirror_backend.py | ||
| jabber_mirror.py | ||
| log2zulip | ||
| process_ccache | ||
| summarize_stream.py | ||
| sync-public-streams | ||
| zephyr_mirror_backend.py | ||
| zephyr_mirror.py | ||
| zmirror_private.conf.template | ||
| zmirror-renew-kerberos | ||
| zuliprc.nagios | ||