Git - 分别进行不同的提交。 (使用 "git pull"将远程分支 merge 到您的分支中)

Question

我的目标是删除我在 github 上的所有提交中的一个文件，所以我做了后续步骤:

我用这个命令过滤了我的分支:

git filter-branch --index-filter 'git rm --cached --ignore-unmatch [file_name]' HEAD

删除所有提交中的一个文件，现在运行后

git status 

它要我 pull ，

ubuntu@ubuntu:/var/www/html/laravel/app_folder$ git status
On branch master
Your branch and 'origin/master' have diverged,
and have 18 and 18 different commits each, respectively.
  (use "git pull" to merge the remote branch into yours)
nothing to commit, working directory clean

但我不想 pull 。我担心如果我 pull 我会在我的提交中再次拥有这个文件。

我现在不应该推送它以便更改在我的 git hub 上生效....我不知道该怎么做。

Answer 1

当然，github 上的 git 和您本地计算机上的 git 有不同的历史记录:一个有文件，一个没有。你需要:

git push --force

覆盖github仓库。