git checkout master
git pull https://gitee.com/bbrucezhang/ghc-extra.git master
git push origin master