2 Commits

Include renames

Author	SHA1	Message	Date
mhoennigandClaude Opus 5	e21c94d0e7	Retarget the links in the historic PR-docs ... The package rename moved every file the older PR-docs link to, leaving 60 dead links. Only the link targets are rewritten, never the visible text and never a statement: those documents record what was true when they were written, GitTally in the prose included. A snapshot may be outdated; it should still be navigable. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>	2026-08-31 07:34:39 +02:00
Michael HoennigandClaude Fable 5	fd326f03fc	made the pull-request gate configurable: added watcher.pullRequestGate (default true); set false for plain-git origins without pull-request refs, so requirePullRequest gates are ignored and gated branches build on new commits; added the PR-doc ... Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>	2026-07-08 15:50:45 +02:00