git checkout master

git pull https://gitee.com/opencloudos-stream/ghc-integer-logarithms.git master

git push origin master