This website requires JavaScript.
Explore
Help
Sign in
janek
/
mostr-zulip-bot
Watch
1
Star
0
Fork
You've already forked mostr-zulip-bot
0
Code
Issues
Pull requests
Releases
Activity
1823
commits
1
branch
0
tags
6
MiB
3d05b88cc2
Commit graph
3 commits
Author
SHA1
Message
Date
neiljp (Neil Pilgrim)
55aff6f64b
mypy: Improve typing of bots & API; enforce no_implicit_optional.
2018-04-06 13:45:11 -04:00
neiljp (Neil Pilgrim)
7dc0703397
tools: Move strict-optional to mypy.ini & remove option from run-mypy.
2018-04-06 13:45:11 -04:00
neiljp (Neil Pilgrim)
6cbe1f5ba7
tools: Migrate core run-mypy options to mypy.ini.
...
Add traceback option, as used in core Zulip run-mypy.
2018-04-06 13:45:11 -04:00