$ git clone -n https://src.fedoraproject.org/rpms/python-pysmt.git /var/lib/mock/f40-build-2317751-58179/root/chroot_tmpdir/scmroot/python-pysmt
Cloning into '/var/lib/mock/f40-build-2317751-58179/root/chroot_tmpdir/scmroot/python-pysmt'...
$ git fetch origin d24be09e2e4bdcd2bd41088e758b4eb4581c138e:KOJI_FETCH_HEAD
From https://src.fedoraproject.org/rpms/python-pysmt
 * [new ref]         d24be09e2e4bdcd2bd41088e758b4eb4581c138e -> KOJI_FETCH_HEAD
$ git reset --hard KOJI_FETCH_HEAD
HEAD is now at d24be09 Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild