From 9c0a99819c99d70d28334dc6ea1c3ac773e4fed1 Mon Sep 17 00:00:00 2001 From: Christian Clason Date: Mon, 29 May 2023 16:52:20 +0200 Subject: ci: remove update-lockfile shell script --- scripts/pre-push | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 scripts/pre-push (limited to 'scripts/pre-push') diff --git a/scripts/pre-push b/scripts/pre-push deleted file mode 100755 index 8d425b3b6..000000000 --- a/scripts/pre-push +++ /dev/null @@ -1,10 +0,0 @@ -#!/usr/bin/env bash - -# Can be used as a pre-push hook -# Just symlink this file to .git/hooks/pre-push - -echo "Running linter..." -luacheck . - -echo "Checking formatting..." -stylua --check . -- cgit v1.3