git checkout develop
git pull https://gitee.com/paddlepaddle-gardener/Paddle.git fix_random_compile
git push origin develop