git checkout master
git pull https://gitee.com/algorithmofdish/ocaml.git master
git push origin master
