diff options
author | Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> | 2019-07-10 14:03:18 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-10 14:03:18 +0100 |
commit | 3dd61d12cdd66000b9cf078f8f485c0c40e4235e (patch) | |
tree | 594282b6ac2bad0ca145609e4e32f65c810866cb /changelog.d | |
parent | Correct pep517 flag in readme (#5651) (diff) | |
download | synapse-3dd61d12cdd66000b9cf078f8f485c0c40e4235e.tar.xz |
Add a linting script (#5627)
Add a dev script to cover all the different linting steps.
Diffstat (limited to 'changelog.d')
-rw-r--r-- | changelog.d/5627.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/5627.misc b/changelog.d/5627.misc new file mode 100644 index 0000000000..730721b5ef --- /dev/null +++ b/changelog.d/5627.misc @@ -0,0 +1 @@ +Add `lint.sh` to the scripts-dev folder which will run all linting steps required by CI. |