$ git clone -n https://gitee.com/mgb01105731/armadillo.git /var/lib/mock/dist-an23-epao-build-443489-73214/root/chroot_tmpdir/scmroot/armadillo Cloning into '/var/lib/mock/dist-an23-epao-build-443489-73214/root/chroot_tmpdir/scmroot/armadillo'... $ git fetch origin 55cf440663ef25cb21b8a1d5650ac989dc8ade0f:KOJI_FETCH_HEAD From https://gitee.com/mgb01105731/armadillo * [new ref] 55cf440663ef25cb21b8a1d5650ac989dc8ade0f -> KOJI_FETCH_HEAD $ git reset --hard KOJI_FETCH_HEAD HEAD is now at 55cf440 Rebuild with hdf5 1.14.5