$ git clone -n https://src.fedoraproject.org/rpms/frama-c.git /var/lib/mock/f39-build-2165643-50982/root/chroot_tmpdir/scmroot/frama-c
Cloning into '/var/lib/mock/f39-build-2165643-50982/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
Updating files:  22% (2/9)
Updating files:  33% (3/9)
Updating files:  44% (4/9)
Updating files:  55% (5/9)
Updating files:  66% (6/9)
Updating files:  77% (7/9)
Updating files:  88% (8/9)
Updating files: 100% (9/9)
Updating files: 100% (9/9), done.
HEAD is now at 2d11077 Fix failure to find plugins (bz 2249607)