git checkout OpenHarmony-5.1.0-Release
git pull https://gitee.com/leeduo/developtools_global_resource_tool.git revert_ignore510
git push origin OpenHarmony-5.1.0-Release