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