git checkout master
git pull https://toscode.mulanos.cn/zhangyanqiu/Sequent.git master
git push origin master