fix: fetch actual Gitea PR head for Codex reviews #815

Merged

jason.woltje merged 4 commits from fix/795-codex-pr-diff into main

2026-07-17 19:44:57 +00:00

Author	SHA1	Message	Date
Hermes Agent	027a99b558	test(#795 ): make PR diff fixtures hermetic ci/woodpecker/pr/ci Pipeline was successful Details	2026-07-17 14:21:06 -05:00
Hermes Agent	0e50c694cb	test(#795 ): enforce PR diff regressions in CI	2026-07-17 14:21:06 -05:00
Hermes Agent	080a6b4663	feat(#795 ): fetch Gitea PR head and fail closed	2026-07-17 14:21:05 -05:00
Hermes Agent	13c50c5fa9	test(#795 ): reproduce wrong PR diff and fail-open review	2026-07-17 14:21:05 -05:00