Narzędzia użytkownika

Narzędzia witryny


git

Remove big file from repo:

git filter-branch --force --index-filter 'git rm --cached --ignore-unmatch BIGFILE' --prune-empty --tag-name-filter cat -- --all

git push origin master --force

Remove deleted files:

git diff --diff-filter=D --name-only -z | xargs -0 git rm
git.txt · ostatnio zmienione: 2015/01/31 16:39 przez b13n1u