zulip/tools/lib
brendon f65e6d0d94 sgrep: Install syntactic code search tool as an external linter.
Add sgrep (sgrep.dev) to tooling and include simple rule as
proof of concept. Included rule detects use of old django render
function.

Also added a rule that looks for if-else statements where both
code paths are identical.
2020-04-01 15:08:34 -07:00
..
__init__.py
capitalization.py realm: Add private_message_policy setting. 2020-01-13 12:20:42 -08:00
gitlint-rules.py lint: Allow revert commit messages in gitlint. 2018-02-13 09:21:01 -08:00
graph.py cleanup: Delete leading newlines. 2019-08-06 23:29:11 -07:00
html_branches.py python: Migrate open statements to use with. 2019-07-20 15:48:52 -07:00
html_grep.py python: Migrate open statements to use with. 2019-07-20 15:48:52 -07:00
pretty_print.py cleanup: Delete leading newlines. 2019-08-06 23:29:11 -07:00
provision.py sgrep: Install syntactic code search tool as an external linter. 2020-04-01 15:08:34 -07:00
provision_inner.py provision: Always build pygments_data.json if missing. 2020-02-20 10:25:11 -08:00
sanity_check.py python: Mark intentionally unused imports with noop statements. 2019-02-22 16:54:47 -08:00
template_parser.py template_parser: Fix Jinja2 tag matching with strip whitespace syntax. 2020-01-16 12:53:34 -08:00
test_script.py python: Migrate open statements to use with. 2019-07-20 15:48:52 -07:00
test_server.py tests: Only wait up to 90s for the server. 2020-03-29 12:17:16 -07:00