git checkout master
git pull https://gitee.com/Reset12138/riscv-linux.git 20230730-riscv-extension-and-alternative
git push origin master