mirror of
https://github.com/zulip/zulip.git
synced 2026-06-27 21:01:32 +08:00
752d6dc6df
I added this tool a few years ago, and I did have a vision for how it would improve our codebase, but I can't remember exactly where I was going with it. At this point the tool is just a little too noisy to be helpful. An example of it creating confusion was a recent PR where somebody was patching user_circle_class in the PM list, and we already had similar code in the buddy list, because they use the same CSS. I mean, there was possibly a way that the code could have been structured to remove some of the duplication, but it probably would have just moved the complexity around. I just don't think it's worth maintaining the tool at this point. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| capitalization.py | ||
| gitlint-rules.py | ||
| graph.py | ||
| html_branches.py | ||
| html_grep.py | ||
| pretty_print.py | ||
| provision_inner.py | ||
| provision.py | ||
| sanity_check.py | ||
| template_parser.py | ||
| test_script.py | ||
| test_server.py | ||