git checkout master
git pull https://gitee.com/weng-changcheng/third_party_boost.git delete_file
git push origin master