$ git clone -n http://fedora.riscv.rocks:3000/rpms/libsemigroups.git /var/lib/mock/f40-build-766205-124085/root/chroot_tmpdir/scmroot/libsemigroups
Cloning into '/var/lib/mock/f40-build-766205-124085/root/chroot_tmpdir/scmroot/libsemigroups'...
$ git reset --hard 9528d090b19f52988b91a3a8b7c347d1814be177
HEAD is now at 9528d09 Rebuild