git checkout OpenHarmony-5.1.0-Release
git pull https://gitee.com/hanshu12138/docs.git dev0702510
git push origin OpenHarmony-5.1.0-Release