$ git clone -n https://src.fedoraproject.org/rpms/polymake.git /var/lib/mock/f31-build-114334-34444/root/chroot_tmpdir/scmroot/polymake
Cloning into '/var/lib/mock/f31-build-114334-34444/root/chroot_tmpdir/scmroot/polymake'...
$ git reset --hard 02cc7356469878efca4242d688f3b600d7a9530c
HEAD is now at 02cc735 Bump all of the release numbers and rebuild.