Repository navigation

Fix reviewer checkout after merged PR branch deletion - #71210

Merged

pelikhan merged 3 commits into

mainfrom

pelikhan-jubilant-chainsaw

Oct 22, 2026

Merged

Fix reviewer checkout after merged PR branch deletion#71210
pelikhan merged 3 commits into
mainfrom
pelikhan-jubilant-chainsaw

Commits on Oct 22, 2026
- Fix PR checkout after merged head branch deletion
  
  pelikhan
  and
  Copilot
  committed
  6e673fd
- Document retained PR head checkout in compiler threat spec
  
  pelikhan
  and
  Copilot
  committed
  62038ed
- Address checkout review documentation and ref consistency
  
  pelikhan
  and
  Copilot
  committed
  c27cf8c