git checkout develop

git pull https://gitee.com/paddlepaddle-gardener/Paddle.git extension/remove_eigen_in_fp16

git push origin develop