diff options
| author | Philipp Hörist <philipp@hoerist.com> | 2023-01-02 22:18:24 +0300 |
|---|---|---|
| committer | Philipp Hörist <philipp@hoerist.com> | 2023-01-02 22:18:24 +0300 |
| commit | 7bf5267cf22600c38500c8ac311e2acb99b08833 (patch) | |
| tree | d4f0149e5b1c880b1950d0f5030eb05309c3dda8 /scripts | |
| parent | 0ef3cf9d5e9d4badd086fb637ede0b5263757db9 (diff) | |
other: Remove obsolete script
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/pre-push-tests.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/scripts/pre-push-tests.sh b/scripts/pre-push-tests.sh deleted file mode 100755 index 47352b0e5..000000000 --- a/scripts/pre-push-tests.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh - -# exit when any command fails -set -e - -GREEN='\033[0;32m' - - -ruff . -echo "${GREEN}ruff: \t\t OK" - -codespell gajim -echo "${GREEN}codespell: \t OK" - -pyright -echo "${GREEN}pyright: \t OK" - -echo "${GREEN}ready to push" |