Philipp Hörist pushed to branch master at gajim / gajim
Commits:
7bf5267c by Philipp Hörist at 2023-01-02T20:18:24+01:00
other: Remove obsolete script
- - - - -
1 changed file:
- − scripts/pre-push-tests.sh
Changes:
=====================================
scripts/pre-push-tests.sh deleted
=====================================
@@ -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"
View it on GitLab:
https://dev.gajim.org/gajim/gajim/-/commit/7bf5267cf22600c38500c8ac311e2acb99b08833
--
View it on GitLab:
https://dev.gajim.org/gajim/gajim/-/commit/7bf5267cf22600c38500c8ac311e2acb99b08833
You're receiving this email because of your account on dev.gajim.org.
_______________________________________________
Commits mailing list
Commits@gajim.org
https://lists.gajim.org/cgi-bin/listinfo/commits
