$ git clone -n https://src.fedoraproject.org/rpms/libsemigroups.git /var/lib/mock/f40-build-805619-144827/root/chroot_tmpdir/scmroot/libsemigroups
Cloning into '/var/lib/mock/f40-build-805619-144827/root/chroot_tmpdir/scmroot/libsemigroups'...
$ git reset --hard 0cdcbbe6d25241293a5b2a95088f5ebfd90e2044
HEAD is now at 0cdcbbe Version 2.7.3