feat(shell): auto-provision docker-git scripts inside generated containers#177

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

konard:issue-176-f004daa766eckonard/ProverCoderAI-docker-git:issue-176-f004daa766ecCopy head branch name to clipboard