git checkout master
git pull https://gitee.com/opengauss/openGauss-server.git master_withclause
git push origin master