git checkout develop

git pull https://gitee.com/emptypoint/diboot.git develop

git push origin develop