git checkout develop

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

git push origin develop