feat(core): support creating empty docker-git workspaces - #80

feat(core): support creating empty docker-git workspaces#80

skulidropek merged 2 commits into

ProverCoderAI:mainProverCoderAI/docker-git:mainfrom

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