git checkout develop

git pull https://gitee.com/paddlepaddle-gardener/Paddle.git optimize-compilation-with-ninja

git push origin develop