mirror of
https://github.com/zulip/zulip.git
synced 2025-11-02 13:03:29 +00:00
django-stubs dynamically collects the type annotation for us from the settings, acknowledging mypy that `HOME_NOT_LOGGED_IN` is an `Optional[str]`. Type narrowing with assertions does not play well with the default value of the decorator, so we define the same setting variable with a different name as `CUSTOM_HOME_NOT_LOGGED_IN` to bypass this restriction. Filed python/mypy#13087 to track this issue. Signed-off-by: Zixuan James Li <p359101898@gmail.com>