076b0f06a2
capitalization: Prune unused phrases from IGNORED_PHRASES.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2022-02-23 12:08:20 -08:00
6e4c3e41dc
python: Normalize quotes with Black.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2021-02-12 13:11:19 -08:00
11741543da
python: Reformat with Black, except quotes.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2021-02-12 13:11:19 -08:00
5028c081cb
python: Merge concatenated string literals that Black would uglify.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2021-02-12 13:11:19 -08:00
f91d287447
python: Pre-fix a few spots for better Black formatting.
...
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2020-09-03 17:51:09 -07:00
365fe0b3d5
python: Sort imports with isort.
...
Fixes #2665 .
Regenerated by tabbott with `lint --fix` after a rebase and change in
parameters.
Note from tabbott: In a few cases, this converts technical debt in the
form of unsorted imports into different technical debt in the form of
our largest files having very long, ugly import sequences at the
start. I expect this change will increase pressure for us to split
those files, which isn't a bad thing.
Signed-off-by: Anders Kaseorg <anders@zulip.com>
2020-06-11 16:45:32 -07:00
728cd04c4d
check-capitalization: Check for banned words.
...
Fixes #8619
2018-03-11 15:34:47 -07:00
70a41cc2eb
tools/tests: Use Python 3 syntax for typing.
2018-02-19 10:17:03 -08:00
126171cb76
api: Remove root_domain_uri from API page links.
...
These pages should be references the current server's UI anyway.
2017-08-28 14:13:37 -07:00
a0a1fe1512
settings: Rename SERVER_URI to ROOT_DOMAIN_URI.
...
This should be a lot less confusing.
See #6013 for discussion.
2017-08-28 14:09:28 -07:00
90ee06bd89
capitalization: Make it easier to ignore phrases.
...
This commit allows us to add the errors shown by the
tools/check-capitalization in the IGNORED_PHRASES list
without any modification.
2017-03-10 11:21:49 -08:00
c5cae34512
tools: Fix test-capitalization dependence on Django.
...
This was a totally unnecessary dependency, and actually broke
test-tools.
2017-03-09 20:21:13 -08:00
83dd901ecf
Add capitalization checker tool.
...
Initial rules significantly by modified by tabbott, who also added the
hacky list of excludes that the tool can't handle correctly yet.
Fixes : #3899 .
2017-03-09 00:44:57 -08:00
Anders Kaseorg
Umair Khan
rht
Tim Abbott