$ git clone -n https://gitee.com/wb-qtt862918/mpfr.git /var/lib/mock/dist-an7_9-updates-build-222916-62171/root/chroot_tmpdir/scmroot/mpfr
Cloning into '/var/lib/mock/dist-an7_9-updates-build-222916-62171/root/chroot_tmpdir/scmroot/mpfr'...
$ git reset --hard 5439797ebf3bea1285c1e32f8cc42bf366b1b0d2
HEAD is now at 5439797 4.2.0