$ git clone -n https://src.fedoraproject.org/rpms/libcircle.git /var/lib/mock/f31-build-58316-28434/root/chroot_tmpdir/scmroot/libcircle
Cloning into '/var/lib/mock/f31-build-58316-28434/root/chroot_tmpdir/scmroot/libcircle'...
$ git reset --hard b9e0baaf210d931179be3e8b8c078e9c73b37ebd
HEAD is now at b9e0baa Rebuild for openmpi 3.1.3