$ git clone -n http://fedora.riscv.rocks:3000/rpms/boost.git /var/lib/mock/f38-build-730375-102691/root/chroot_tmpdir/scmroot/boost
Cloning into '/var/lib/mock/f38-build-730375-102691/root/chroot_tmpdir/scmroot/boost'...
$ git reset --hard 55dfa5cc57a04b2e777935ba2c165665e0aeb4a3
HEAD is now at 55dfa5c Disable MPI too.