Andrew Morgan 654e239b25 Add option to scripts-dev/lint.sh to only lint files changed since the last git commit (#8472) ... This PR makes several changes to the `./scripts-dev/lint.sh` script, which lints the codebase with a number of tools: * Adds usage information, with `-h` flag to show it. Otherwise it will show when providing an unknown flag. * Adds option `-d` which will check both staged and unstaged files that have changed since the last commit and add them to the list of files to lint. - Note that only files without an extension, or with a `.py` extension will be allowed. This prevents editing bash scripts causing the linters to break on non-python files. * Improves the print-out of which files/directories are being linted.		2020-10-15 15:45:13 +01:00
..
build_debian_packages	Add Ubuntu 20.10 (Groovy Gorilla) to build scripts. (#8475)	2020-10-07 08:48:54 -04:00
check-newsfragment
check_line_terminators.sh
check_signature.py
complement.sh	Add support for running Complement against the local checkout (#8317)	2020-09-29 13:47:47 +01:00
config-lint.sh
convert_server_keys.py
database-save.sh
definitions.py	Simplify super() calls to Python 3 syntax. (#8344)	2020-09-18 09:56:44 -04:00
dump_macaroon.py
federation_client.py	Simplify super() calls to Python 3 syntax. (#8344)	2020-09-18 09:56:44 -04:00
generate_sample_config
hash_history.py
lint.sh	Add option to scripts-dev/lint.sh to only lint files changed since the last git commit (#8472)	2020-10-15 15:45:13 +01:00
list_url_patterns.py
make_full_schema.sh
mypy_synapse_plugin.py
next_github_number.sh
tail-synapse.py
update_database