$ git clone -n https://src.fedoraproject.org/rpms/mp.git /var/lib/mock/f33-build-214441-48429/root/chroot_tmpdir/scmroot/mp Cloning into '/var/lib/mock/f33-build-214441-48429/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.