$ git clone -n https://src.fedoraproject.org/rpms/frama-c.git /var/lib/mock/f39-build-2005365-44977/root/chroot_tmpdir/scmroot/frama-c
Cloning into '/var/lib/mock/f39-build-2005365-44977/root/chroot_tmpdir/scmroot/frama-c'...
$ git fetch origin 2d1107786f273cec415571024c579ee1c82267a3:KOJI_FETCH_HEAD
From https://src.fedoraproject.org/rpms/frama-c
 * [new ref]         2d1107786f273cec415571024c579ee1c82267a3 -> KOJI_FETCH_HEAD
$ git reset --hard KOJI_FETCH_HEAD
HEAD is now at 2d11077 Fix failure to find plugins (bz 2249607)