$ git clone -n https://src.fedoraproject.org/rpms/coin-or-CoinUtils.git /var/lib/mock/f31-build-97874-32997/root/chroot_tmpdir/scmroot/coin-or-CoinUtils
Cloning into '/var/lib/mock/f31-build-97874-32997/root/chroot_tmpdir/scmroot/coin-or-CoinUtils'...
$ git reset --hard 710c8725256d05a71d06a7fcda40578e86c56a4d
HEAD is now at 710c872 Fix the pkgconfig file again.