mirror of https://github.com/zulip/zulip.git
69c0959f34
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> |
||
---|---|---|
.. | ||
curl_param_value_generators.py | ||
javascript_examples.js | ||
javascript_examples.py | ||
markdown_extension.py | ||
openapi.py | ||
python_examples.py | ||
test_curl_examples.py | ||
zulip.yaml |