$ git clone -n https://src.fedoraproject.org/rpms/frama-c.git /var/lib/mock/f38-build-719647-97197/root/chroot_tmpdir/scmroot/frama-c
Cloning into '/var/lib/mock/f38-build-719647-97197/root/chroot_tmpdir/scmroot/frama-c'...
$ git reset --hard 4afe7d9c1c3a41da45390f6d46d44fa5d17aa364
HEAD is now at 4afe7d9 Version 26.1.