git checkout master
git pull https://gitee.com/rri_opensource/koala_projects.git tes/typecheck-7
git push origin master