From d5547725cf3c068b7c779e5917ac613828f87be4 Mon Sep 17 00:00:00 2001 From: atlas Date: Wed, 28 Oct 2026 22:35:11 +0100 Subject: [PATCH] drop the vale step added to pre-push --- scripts/pre-push | 6 ------ 1 file changed, 6 deletions(-) diff --git a/scripts/pre-push b/scripts/pre-push index 167906d6..7f36a492 100755 --- a/scripts/pre-push +++ b/scripts/pre-push @@ -45,11 +45,5 @@ if ! sh "$repo_root/scripts/check-dashboard-service-names.sh"; then exit 1 fi -echo "pre-push: running prose lint (vale)..." >&2 -if ! (cd "$repo_root" && nix run --inputs-from . .#vale -- docs); then - echo "pre-push: prose lint FAILED — fix before pushing" >&2 - exit 1 -fi - echo "pre-push: lints passed ✓" >&2 exit 0