fix(core): preserve post-push repo context for git -C push#202

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

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