git checkout master
git pull https://gitee.com/openharmony/developtools_integration_verification.git revert-merge-517-master
git push origin master