fix(shell): pass explicit origin and branch to git pull --rebase#182

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

konard:issue-181-09bf075a5254konard/ProverCoderAI-docker-git:issue-181-09bf075a5254Copy head branch name to clipboard