git checkout master
git pull https://gitee.com/xucheng46/third_party_typescript.git dev-2023-0420-01-warning
git push origin master