$ git clone -n https://src.fedoraproject.org/rpms/mp.git /var/lib/mock/f33-build-276247-51652/root/chroot_tmpdir/scmroot/mp
Cloning into '/var/lib/mock/f33-build-276247-51652/root/chroot_tmpdir/scmroot/mp'...
$ git reset --hard 9965039524b185913e0de010ec9dd5694e768956
HEAD is now at 9965039 Update git snapshot for gecode 6.x support. Drop upstreamed -gecode5 patch.