git checkout main

git pull https://toscode.mulanos.cn/XmacsLabs/planet.git jk/seminar

git push origin main