$ git clone -n https://gitee.com/src-anolis-ai/armadillo.git /mnt/mock/kojid//dist-an23.3-riscv64-gcc14-build-492483-74515/root/chroot_tmpdir/scmroot/armadillo
Cloning into '/mnt/mock/kojid//dist-an23.3-riscv64-gcc14-build-492483-74515/root/chroot_tmpdir/scmroot/armadillo'...
$ git fetch origin a23:KOJI_FETCH_HEAD
From https://gitee.com/src-anolis-ai/armadillo
 * [new branch]      a23        -> KOJI_FETCH_HEAD
$ git reset --hard KOJI_FETCH_HEAD
HEAD is now at 55b3eb4 Rebuild with hdf5 1.14.5