mirror of https://github.com/zulip/zulip.git
run-mypy: Exclude puppet/zulip_internal.
This commit is contained in:
parent
2e50dce9dd
commit
1a751af148
|
@ -61,6 +61,7 @@ api/integrations/twitter/twitter-search-bot
|
||||||
bots/gcal-bot
|
bots/gcal-bot
|
||||||
bots/githook-post-receive
|
bots/githook-post-receive
|
||||||
tools/deprecated/inject-messages/inject-messages
|
tools/deprecated/inject-messages/inject-messages
|
||||||
|
puppet/zulip_internal
|
||||||
""".split()
|
""".split()
|
||||||
|
|
||||||
exclude_scripts_py2 = [] # type: List[str]
|
exclude_scripts_py2 = [] # type: List[str]
|
||||||
|
|
Loading…
Reference in New Issue