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