Andrew Morgan 31c5382d7a Align the directories linted in CI with the defaults in scripts-dev/lint.sh (#9191) преди 3 години
..
build_debian_packages d9b55bd830 Add Ubuntu 20.10 (Groovy Gorilla) to build scripts. (#8475) преди 4 години
check-newsfragment 7cac9006d6 Spruce up the check-newsfragment CI output (#8024) преди 4 години
check_line_terminators.sh 8078dec3be Fix exit code for `check_line_terminators.sh` (#7970) преди 4 години
check_signature.py 62b1ce8539 isort 5 compatibility (#7786) преди 4 години
complement.sh 12f0d18611 Add support for running Complement against the local checkout (#8317) преди 4 години
config-lint.sh ba547ec3a9 Use BSD-compatible in-place editing for sed. (#6887) преди 4 години
convert_server_keys.py e6027562e2 remove `builtins.buffer` code from storage code преди 4 години
database-save.sh 673375fe2d Acutally add scripts-dev/ преди 9 години
definitions.py 8a4a4186de Simplify super() calls to Python 3 syntax. (#8344) преди 4 години
dump_macaroon.py 837293c314 Remove obsolete __future__ imports (#8337) преди 4 години
federation_client.py 8a4a4186de Simplify super() calls to Python 3 syntax. (#8344) преди 4 години
generate_sample_config 08815566bc Automate generation of the sample and debian log configs (#6627) преди 5 години
hash_history.py 837293c314 Remove obsolete __future__ imports (#8337) преди 4 години
lint.sh 31c5382d7a Align the directories linted in CI with the defaults in scripts-dev/lint.sh (#9191) преди 3 години
list_url_patterns.py 32e7c9e7f2 Run Black. (#5482) преди 5 години
make_full_schema.sh 6676ee9c4a Add dev script to generate full SQL schema files (#6394) преди 5 години
mypy_synapse_plugin.py 5d34f40d49 Add type hints to the push module. (#8901) преди 4 години
next_github_number.sh d4e0861ff9 Reduce the load on our CI (#3957) преди 6 години
sign_json 97b35ee259 Add a script to sign arbitrary json objects. (#8772) преди 4 години
tail-synapse.py 32e7c9e7f2 Run Black. (#5482) преди 5 години
update_database a7bdf98d01 Rename database classes to make some sense (#8033) преди 4 години