Zixuan James Li 63e9ae8389 typing: Apply trivial fixes to adjust edge cases in typing. ... Add none-checks, rename variables (to avoid redefinition of the same variable with different types error), add necessary type annotations. This is a part of #18777. Signed-off-by: Zixuan James Li <359101898@qq.com>		2022-05-30 12:03:51 -07:00
..
__init__.py	…
capitalization.py	tools: Fix typo in previous commit.	2022-03-18 16:57:51 -07:00
git-tools.bash	lint: Add .bash extension for tools/lib/git-tools.bash.	2021-06-25 09:01:13 -07:00
gitlint-rules.py	docs: Fix many spelling mistakes.	2022-02-07 18:51:06 -08:00
html_branches.py	dead code: Kill off most of html_branches.	2021-12-02 09:49:10 -08:00
pretty_print.py	python: Replace universal_newlines with text.	2022-01-23 22:16:01 -08:00
provision.py	provision: Add missing ENDC to avoid colouring all output.	2022-05-03 12:41:43 -07:00
provision_inner.py	typing: Apply trivial fixes to adjust edge cases in typing.	2022-05-30 12:03:51 -07:00
sanity_check.py	sanity_check: Improve output for manual installation.	2021-04-01 10:54:56 -07:00
template_parser.py	check-tempates: Improve error message for missing end tag.	2021-12-04 15:35:24 -08:00
test_script.py	tooling: test-js-with-puppeteer: Accept full relative file path.	2022-03-04 04:48:03 -05:00
test_server.py	python: Simplify stdio flushing using print(…, flush=True).	2021-06-09 14:05:31 -07:00