git filter-branch --force --index-filter \ "git rm --cached --ignore-unmatch <path to your file>" \ --prune-empty --tag-name-filter cat -- --all(cd to the top level of the repo first), add
-r
flag if you want to remove the whole directory.
REF: git pull origin the-remote-branch --allow-unrelated-historiesand resolve conflicts.
No comments:
Post a Comment