git checkout master

git pull https://toscode.mulanos.cn/Room506_yzh/se17Ex7.git develop

git push origin master