git checkout main
git pull https://gitee.com/wzx312/advanced-operating-systems-course.git pr1
git push origin main
