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.

  1. 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 
  2. after filter branch complete, verify no unintended file lost.

  3. now add .gitignore rule

    echo dist/img/work.zip >> .gitignore git add .gitignore && git commit -m "ignore rule files" 
  4. now push

    git push -f origin branch 

adapted from: git rm - fatal: pathspec did not match files


Comments

Popular posts from this blog

python - How to insert QWidgets in the middle of a Layout? -

python - serve multiple gunicorn django instances under nginx ubuntu -

module - Prestashop displayPaymentReturn hook url -