git checkout master
git pull https://gitee.com/mathlib/expr-auto.git revert-merge-2-master
git push origin master
