git checkout dev
git pull https://gitee.com/alolang-dev-team/AloLang-Dev.git tomdang_lex
git push origin dev