git checkout OpenHarmony-3.1-Release
git pull https://gitee.com/zhangbingce/docs.git dev-3.1release
git push origin OpenHarmony-3.1-Release