Skip to content

fix(shell): pass explicit origin and branch to git pull --rebase#182

Merged
skulidropek merged 4 commits into
ProverCoderAI:mainfrom
konard:issue-181-09bf075a5254
Mar 23, 2026
Merged

fix(shell): pass explicit origin and branch to git pull --rebase#182
skulidropek merged 4 commits into
ProverCoderAI:mainfrom
konard:issue-181-09bf075a5254

fix(shell): replace Effect.catchAll with Effect.orElse and abort reba…

f0261a4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view