$ git clone -n https://src.fedoraproject.org/rpms/petsc.git /var/lib/mock/f40-build-2160387-50941/root/chroot_tmpdir/scmroot/petsc
Cloning into '/var/lib/mock/f40-build-2160387-50941/root/chroot_tmpdir/scmroot/petsc'...
$ git fetch origin 692439c8badbe9db1532154c23d41afdf131e412:KOJI_FETCH_HEAD
From https://src.fedoraproject.org/rpms/petsc
 * [new ref]         692439c8badbe9db1532154c23d41afdf131e412 -> KOJI_FETCH_HEAD
$ git reset --hard KOJI_FETCH_HEAD
Updating files:  75% (9/12)
Updating files:  83% (10/12)
Updating files:  91% (11/12)
Updating files: 100% (12/12)
Updating files: 100% (12/12), done.
HEAD is now at 692439c Rebuild for openmpi-5.0.1