Repository navigation

fix(shell): ensure PR exists after git push - #378

Merged

skulidropek merged 3 commits into

mainfrom

Jun 6, 2026

Merged

fix(shell): ensure PR exists after git push#378
skulidropek merged 3 commits into
mainfrom
issue-375

Commits on Jun 6, 2026
- fix(shell): ensure PR exists after git push
  skulidropek
  committed
  8a62c12
- refactor(shell): extract post-push PR template
  skulidropek
  committed
  ed459e5
- fix(shell): backfill codex plans before sync
  skulidropek
  committed
  cc36eda