git checkout main
git pull https://gitee.com/sunjiachen111/GPUCodeForces.git dev
git push origin main
