fix(shell): avoid docker SSH port collisions and improve docker compose hints#71

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

skulidropek:issue-66skulidropek/docker-git:issue-66Copy head branch name to clipboard