$ git clone -n https://src.fedoraproject.org/rpms/frama-c.git /var/lib/mock/f33-build-583918-66579/root/chroot_tmpdir/scmroot/frama-c
Cloning into '/var/lib/mock/f33-build-583918-66579/root/chroot_tmpdir/scmroot/frama-c'...
$ git reset --hard 8a19ea274df110c4c9198fbd34d754a4e2b4f0d5
HEAD is now at 8a19ea2 Rebuild for flocq 3.4.0.