Count both paths of a rename in the docs-only CI skip; pause auto-release #55

Merged

lilleman merged 4 commits from skip-ci-for-root-markdown into main

2026-08-05 10:46:53 +02:00

Author	SHA1	Message	Date
lilleman	e5bdc15262	Prune deleted tags on the GitHub mirror so it stops advertising dropped versions CI / full-gate (push) Successful in 2m40s Details Mirror / github-mirror (push) Successful in 7s Details	2026-08-05 10:42:39 +02:00
lilleman	2fb5e695e1	Record the docs-skip and no-release decisions, and blind the guard to comments CI / full-gate (push) Successful in 2m42s Details	2026-08-05 10:34:46 +02:00
lilleman	3ebd1fa507	Gate the auto-release tag job behind an AUTO_RELEASE variable CI / full-gate (push) Successful in 2m41s Details	2026-08-05 10:15:09 +02:00
lilleman	81043edfc6	Count both paths of a rename in the docs-only CI skip	2026-08-05 10:15:09 +02:00