$ git clone -n http://fedora.riscv.rocks:3000/rpms/openmpi.git /var/lib/mock/f32-build-120941-37353/root/thebuilddir/tmp/scmroot/openmpi Cloning into '/var/lib/mock/f32-build-120941-37353/root/thebuilddir/tmp/scmroot/openmpi'... $ git reset --hard 8bb9e151cdc512a437d41fa746ae2de6aaf17a95 HEAD is now at 8bb9e15 Fix merge