git checkout master
git pull https://gitee.com/src-openeuler/ocaml.git revert-merge-55-master
git push origin master
