From 08d512d9d6c0b1ce75ee9091be25f14b2501c3d3 Mon Sep 17 00:00:00 2001 From: chenhang Date: Wed, 17 Jun 2026 16:46:45 +0800 Subject: [PATCH] chore(githooks): remove pre-push hook script --- .githooks/pre-push | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100755 .githooks/pre-push diff --git a/.githooks/pre-push b/.githooks/pre-push deleted file mode 100755 index d1bc0a74..00000000 --- a/.githooks/pre-push +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -# Pre-push hook: push 前执行 Web 预发布脚本。 - -set -eu - -REPO_TOPLEVEL="$(git rev-parse --show-toplevel 2>/dev/null || pwd)" -cd "$REPO_TOPLEVEL" - -echo "=== pre-push: running scripts/release/pre_release_web.sh ===" -bash scripts/release/pre_release_web.sh