16 lines
559 B
Bash
Executable File
16 lines
559 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
changed=$(git diff --cached --name-only)
|
|
# fail if REQs changed but AGENTS.md is older
|
|
if echo "$changed" | grep -q '^REQUIREMENTS.md$' && echo "$changed" | grep -q '^AGENTS.md$'; then
|
|
# Both changed — OK
|
|
:
|
|
else
|
|
req_time=$(git log -1 --format=%ct -- REQUIREMENTS.md 2>/dev/null || echo 0)
|
|
ag_time=$(git log -1 --format=%ct -- AGENTS.md 2>/dev/null || echo 0)
|
|
if [ "$req_time" -gt "$ag_time" ]; then
|
|
echo "error: REQUIREMENTS.md newer than AGENTS.md — run: redgate agents > AGENTS.md"
|
|
exit 1
|
|
fi
|
|
fi
|