zulip/zerver/lib/webhooks
Tim Abbott 01ce58319d mypy: Fix most AnonymousUser type errors.
This commit fixes several mypy errors with Django stubs, by telling
mypy that we know in a given code path that the user is authenticated.
2021-07-24 14:55:46 -07:00
..
__init__.py Add common git integration method to build message for push events. 2016-10-10 17:32:41 -07:00
common.py mypy: Fix most AnonymousUser type errors. 2021-07-24 14:55:46 -07:00
git.py docs: Fix capitalization mistakes. 2021-05-10 09:57:26 -07:00