git checkout develop

git pull https://gitee.com/git-http-client/git-work.git hotfix_v20

git push origin develop