zulip/zerver/webhooks/github
Anders Kaseorg 69c0959f34 python: Fix misuse of Optional types for optional parameters.
There seems to have been a confusion between two different uses of the
word “optional”:

• An optional parameter may be omitted and replaced with a default
  value.
• An Optional type has None as a possible value.

Sometimes an optional parameter has a default value of None, or None
is otherwise a meaningful value to provide, in which case it makes
sense for the optional parameter to have an Optional type.  But in
other cases, optional parameters should not have Optional type.  Fix
them.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
2020-06-13 15:31:27 -07:00
..
fixtures webhooks/github: Add a support for team/edited events. 2020-05-16 14:59:08 -07:00
__init__.py webhooks: Move github_webhook/ to github/. 2018-04-19 11:00:55 -07:00
doc.md webhooks: Move github_webhook/ to github/. 2018-04-19 11:00:55 -07:00
tests.py python: Convert more "".format to Python 3.6 f-strings. 2020-06-10 14:48:09 -07:00
view.py python: Fix misuse of Optional types for optional parameters. 2020-06-13 15:31:27 -07:00