git checkout tiny-riscv-box

git pull https://gitee.com/tinylab/linux-lab.git tiny-riscv-box-overlay

git push origin tiny-riscv-box