$ git clone -n http://fedora.riscv.rocks:3000/rpms/petsc.git /var/lib/mock/f38-build-700462-88144/root/chroot_tmpdir/scmroot/petsc Cloning into '/var/lib/mock/f38-build-700462-88144/root/chroot_tmpdir/scmroot/petsc'... $ git reset --hard 75de0b0dba391676b41a0c975296694122821878 HEAD is now at 75de0b0 Add support for riscv64