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

skulidropek merged 4 commits intoProverCoderAI:mainProverCoderAI/docker-git:mainfrom

konard:issue-178-d5c6ed0a33bfkonard/ProverCoderAI-docker-git:issue-178-d5c6ed0a33bfCopy head branch name to clipboard