$ git clone -n https://src.fedoraproject.org/rpms/symfpu.git /var/lib/mock/f31-build-54388-27997/root/chroot_tmpdir/scmroot/symfpu
Cloning into '/var/lib/mock/f31-build-54388-27997/root/chroot_tmpdir/scmroot/symfpu'...
$ git reset --hard 92420347c73d306ebd67fdfa9473775f35b62b48
HEAD is now at 9242034 Update to latest git snapshot to fix a CVC4 bug.