$ git clone -n https://src.fedoraproject.org/rpms/ocaml-mlgmpidl.git /var/lib/mock/f32-build-118211-35408/root/chroot_tmpdir/scmroot/ocaml-mlgmpidl
Cloning into '/var/lib/mock/f32-build-118211-35408/root/chroot_tmpdir/scmroot/ocaml-mlgmpidl'...
$ git reset --hard bc9c7ce8561fc01db57e01aa812cc5bb03ca3f84
HEAD is now at bc9c7ce Set the profiling variable in Makefile.config always.