Hi,
Thank you both, that's exactly what i needed.
In case someone finds this post in the future, this :
$ git filter-branch --index-filter 'git update-index --remove
' --force -- --all
worked perfectly. Although, it told me that git can't work on a dirty
directory so I did this :
$ git add .
$ git commit
And after the filter-branch
$ git reset --hard HEAD^
You'll probably also want to run "git gc" on your repo to
actually get rid of the huge object that was added (or does
filter-branch do this automatically?).
I'm not sure it's required by git-filter-branch alone. In this case :
git-gc saves almost 5% after the file deletion
it saves 4.5% before the file deletion
If I run git gc before and after the git filter-branch, it saves 4.5%
and then 0.2%.
But maybe my tests applies to my particular environment and cannot be
generalized.
Thank you again for the help.
Take care,
Marc, happy git user.
--
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
