git checkout main
git pull https://gitee.com/liu-jingzong/code-agent.git fix/typecheck-baseline
git push origin main