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