$ git clone -n https://gitee.com/opencloudos-stream/ghc-indents.git /var/lib/mock/dist-oc9-epol-build-206872-80572/root/chroot_tmpdir/scmroot/ghc-indents Cloning into '/var/lib/mock/dist-oc9-epol-build-206872-80572/root/chroot_tmpdir/scmroot/ghc-indents'... $ git fetch origin master:KOJI_FETCH_HEAD From https://gitee.com/opencloudos-stream/ghc-indents * [new branch] master -> KOJI_FETCH_HEAD $ git reset --hard KOJI_FETCH_HEAD HEAD is now at cea1395 !3 Rebuild for ghc 9.8.4 Merge pull request !3 from zeyouliu/master