Github, file too large already deleted. -
i had file tried add repo on github limit. unfortunately deleted when push still tried add it.
rm dist/img/work.zip fatal: pathspec 'dist/img/work.zip' did not match files
how out repo?
use git filter-branch
.
use command
git filter-branch --force --index-filter \ 'git rm -r --cached --ignore-unmatch dist/img/work.zip' \ --prune-empty --tag-name-filter cat -- --all
after filter branch complete, verify no unintended file lost.
now add .gitignore rule
echo dist/img/work.zip >> .gitignore git add .gitignore && git commit -m "ignore rule files"
now push
git push -f origin branch
adapted from: git rm - fatal: pathspec did not match files
Comments
Post a Comment