Skip to content

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

Merged
skulidropek merged 3 commits into
mainfrom
issue-375
Jun 6, 2026
Merged

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

fix(shell): backfill codex plans before sync

cc36eda
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar