$ git clone -n https://src.fedoraproject.org/rpms/coin-or-Bonmin.git /var/lib/mock/f31-build-65867-29787/root/thebuilddir/tmp/scmroot/coin-or-Bonmin
Cloning into '/var/lib/mock/f31-build-65867-29787/root/thebuilddir/tmp/scmroot/coin-or-Bonmin'...
$ git reset --hard c772349ba9398cc46a4681c2b4e8b9e1ab20a1de
HEAD is now at c772349 Do not build documentation in parallel, leads to errors.