fix(core): clone repositories from warm mirror cache#341

skulidropek wants to merge 4 commits into

mainProverCoderAI/docker-git:mainfrom

vk/2562-github-138ProverCoderAI/docker-git:vk/2562-github-138Copy head branch name to clipboard