git checkout master
git pull https://gitee.com/chen-mingyu4/manifest.git delete_num_traits
git push origin master