别人修改错了文件，在远程删除错误操作之后，自己再次push，可能不能提交成功，因为远程被别人修改过之后，版本号可能高于自己的版本号，这样就需要把远程的文件pull下来，远程版本号和自己版本号合并之后才可以重新提交上去。然而把远程文件pull到本地仓库的时候，有可能pull不下来，这时候应该怎样操作解决？
1. 打开Window--preference--git--configuration--按如下操作，其中repository选择目录中含有remote内容的某一个文件（任何文件都可以）
2. open之后打开的是config文件，复制remote”origin”模块branch”master”模块的内容，然后添加到你要pull下来的文件中的config文件中
