git checkout develop

git pull https://gitee.com/zhangzzp/opench-ch32v307.git develop

git push origin develop