git checkout master
git pull https://gitee.com/henryshi1/docs_1.git fix_dump_dox
git push origin master
