Trim README and workflow prose that restates the code
CI / full-gate (push) Successful in 2m33s
Mirror / github-mirror (push) Successful in 6s

This commit was merged in pull request #34.
This commit is contained in:
2026-08-02 13:55:50 +02:00
parent 175717f04d
commit 6db0f57bf4
5 changed files with 20 additions and 31 deletions
+3 -4
View File
@@ -12,10 +12,9 @@ cd "$(dirname "$0")"
step() { printf '\n\033[1;34m==> %s\033[0m\n' "$1"; }
# Docs-only fast path: when nothing but *.md changed since main there is nothing here to break,
# so the gate no-ops. Committed changes AND the working tree both count — a dirty tree carrying
# real code must never skip. Anything that can't be determined (no git, no reachable main, no
# merge-base, offline with no origin/main) falls through to the full gate, never to a skip.
# Docs-only fast path: nothing but *.md changed since main, so there is nothing here to break.
# The working tree counts too — a dirty tree carrying real code must never skip. Anything
# undeterminable (no git, no reachable main, no merge-base) falls through to the gate, never a skip.
docs_only() {
local base changed
git rev-parse --git-dir >/dev/null 2>&1 || return 1