Skip to content

feat(shell): auto-pull .docker-git state on docker-git startup#179

Merged
skulidropek merged 4 commits into
ProverCoderAI:mainfrom
konard:issue-178-d5c6ed0a33bf
Mar 23, 2026
Merged

feat(shell): auto-pull .docker-git state on docker-git startup#179
skulidropek merged 4 commits into
ProverCoderAI:mainfrom
konard:issue-178-d5c6ed0a33bf

Revert "Initial commit with task details"

f720e90
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Snapshot
succeeded Mar 23, 2026 in 1m 7s