Repository navigation

ci: route a pull request from its last green head when it only merged main - #14659

Merged

teamleaderleo merged 7 commits into

mainfrom

ci/delta-since-green

Sep 25, 2026

Merged

ci: route a pull request from its last green head when it only merged main#14659
teamleaderleo merged 7 commits into
mainfrom
ci/delta-since-green

Commits on Sep 25, 2026
- ci: route a pull request from its last green head when it only merged main
  
  teamleaderleo
  and
  claude
  committed
  3885fcb
- ci: bind delta CI to this pull request and keep CI policy edits on the full diff
  
  teamleaderleo
  and
  claude
  committed
  fd51068
- ci: keep the whole diff for a pull request that changed its base branch
  
  teamleaderleo
  and
  claude
  committed
  4be951c
- ci: make delta CI's fetches survive git 2.52 and a refused filter
  
  teamleaderleo
  and
  claude
  committed
  3e26626
- ci: give the delta kill switch a default before comparing with 0
  
  teamleaderleo
  and
  claude
  committed
  febd869
- Merge remote-tracking branch 'mf/main' into ci/delta-since-green
  teamleaderleo
  committed
  3fb99e7
- Merge remote-tracking branch 'mf/main' into ci/delta-since-green
  teamleaderleo
  committed
  938fac2