$ git clone -n https://src.fedoraproject.org/rpms/frama-c.git /var/lib/mock/f33-build-366623-60830/root/chroot_tmpdir/scmroot/frama-c
Cloning into '/var/lib/mock/f33-build-366623-60830/root/chroot_tmpdir/scmroot/frama-c'...
$ git reset --hard ca7be5ce3c7a982907c5bba67c68a110c37a589e
HEAD is now at ca7be5c Only run %check on x86_64.