Repository navigation

PR agent: work on and push against the expected head only - #2020

Merged

github-actions[bot] merged 3 commits into

mainfrom

claude/routine-recheck-head-before-push

Oct 7, 2026

Merged

PR agent: work on and push against the expected head only#2020
github-actions[bot] merged 3 commits into
mainfrom
claude/routine-recheck-head-before-push

Commits on Oct 7, 2026
- PR agent: work on and push against the expected head only
  
  jss367
  and
  claude
  committed
  5aa1fa1
- Make lease rejection a silent stop in Absolute Rules (Codex)
  claude
  committed
  5ebfe47
- Exempt fix-main from the leased PR-head push rule (Codex)
  claude
  committed
  91369ec