$ git clone -n https://src.fedoraproject.org/rpms/Singular.git /var/lib/mock/f31-build-74451-31128/root/chroot_tmpdir/scmroot/Singular Cloning into '/var/lib/mock/f31-build-74451-31128/root/chroot_tmpdir/scmroot/Singular'... $ git reset --hard 899538a022dd0b3754d3457369145bf3c921b9ea HEAD is now at 899538a Add -polymake patch to fix polymake plugin.