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

The logs for this run have expired and are no longer available.