git checkout develop
git pull https://gitee.com/stevenye/owep-prototype.git teaching
git push origin develop