feat(core): add apply-all command to bulk-update all docker-git projects#175

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

konard:issue-164-56f6399aa833konard/ProverCoderAI-docker-git:issue-164-56f6399aa833Copy head branch name to clipboard