fix: guard plan sync for draft pull requests#7

skulidropek merged 3 commits into

ProverCoderAI:mainProverCoderAI/plan-to-git:mainfrom

konard:issue-6-9b8d4b256f20konard/ProverCoderAI-plan-to-git:issue-6-9b8d4b256f20Copy head branch name to clipboard