git checkout develop

git pull https://gitee.com/kin-zhang/mapping_ws.git master

git push origin develop