$ git clone -n https://src.fedoraproject.org/rpms/polymake.git /var/lib/mock/f38-build-704253-89887/root/chroot_tmpdir/scmroot/polymake Cloning into '/var/lib/mock/f38-build-704253-89887/root/chroot_tmpdir/scmroot/polymake'... $ git reset --hard af9fdb6c8133f47f607ea5e448f8658e7c859640 HEAD is now at af9fdb6 Version 4.9. Recommend plantri.