diff --git a/.githooks/pre-commit b/.githooks/pre-commit deleted file mode 100755 index 0689939..0000000 --- a/.githooks/pre-commit +++ /dev/null @@ -1,5 +0,0 @@ -#!/usr/bin/env bash -set -euo pipefail -repo_root="$(git rev-parse --show-toplevel)" -cd "$repo_root" -exec scripts/validate-repo.sh diff --git a/agent.md b/agent.md deleted file mode 120000 index 47dc3e3..0000000 --- a/agent.md +++ /dev/null @@ -1 +0,0 @@ -AGENTS.md \ No newline at end of file diff --git a/scripts/validate-repo.sh b/scripts/validate-repo.sh index d9585ff..fbab8df 100755 --- a/scripts/validate-repo.sh +++ b/scripts/validate-repo.sh @@ -108,6 +108,11 @@ files = sorted(set(pathlib.Path(f) for f in tracked + untracked)) link_re = re.compile(r'\[[^\]]*\]\(([^)]+)\)') errors = [] for f in files: + # `git ls-files` includes paths deleted in the working tree. They cannot + # contain links and must not make validation fail before their deletion is + # staged. + if not f.exists(): + continue try: text = f.read_text(encoding='utf-8') except UnicodeDecodeError: