From 7bf5267cf22600c38500c8ac311e2acb99b08833 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Philipp=20H=C3=B6rist?= Date: Mon, 2 Jan 2023 20:18:24 +0100 Subject: other: Remove obsolete script --- scripts/pre-push-tests.sh | 18 ------------------ 1 file changed, 18 deletions(-) delete mode 100755 scripts/pre-push-tests.sh (limited to 'scripts') 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" -- cgit v1.2.3