git checkout master
git pull https://gitee.com/menghuanli/docs.git procedure-3.1
git push origin master