diff options
author | David Robertson <davidr@element.io> | 2022-03-02 18:00:26 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-03-02 18:00:26 +0000 |
commit | 1fbe0316a991e77289d4577b16ff3fcd27c26dc8 (patch) | |
tree | 9b63f5af32d0f217bd161690ab4b2bb45795398e /scripts-dev/lint.sh | |
parent | Remove unused mocks from `test_typing` (#12136) (diff) | |
download | synapse-1fbe0316a991e77289d4577b16ff3fcd27c26dc8.tar.xz |
Add suffices to scripts in scripts-dev (#12137)
* Rename scripts-dev to have suffices * Update references to `scripts-dev` * Changelog * These scripts don't pass mypy
Diffstat (limited to 'scripts-dev/lint.sh')
-rwxr-xr-x | scripts-dev/lint.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/scripts-dev/lint.sh b/scripts-dev/lint.sh index df4d4934d0..2f5f2c3566 100755 --- a/scripts-dev/lint.sh +++ b/scripts-dev/lint.sh @@ -85,8 +85,6 @@ else "synapse" "docker" "tests" # annoyingly, black doesn't find these so we have to list them "scripts-dev" - "scripts-dev/build_debian_packages" - "scripts-dev/sign_json" "contrib" "synctl" "setup.py" "synmark" "stubs" ".ci" ) fi |