HI all. I need some help.
I've been following the advice
on
http://dalibornasevic.com/posts/2-permanently-remove-files-and-folders-from-a-git-repository
and
http://stackoverflow.com/questions/8083282/how-do-i-remove-a-big-file-wrongly-committed-in-git
to remve a directory of huge files from our repository.
It's not working.
(The huge files are a problem because we're starting to pull files across
the internet. Our goal fix is reworking the code base to use git subtrees.
But our desired simple clone of a repository pulls all of the history;
using a refspec to just get a branch would be a hack. The cause of the
problem is the huge files.)
Here are the (almost) exact commands I'm trying:
git pull # or clone to a new directory
git rm -rf ./path/to/dir/of/huge/files
git commit -a --message "Removing huge files"
git push origin master
git lola --name-status
git filter-branch -f --prune-empty -d /dev/shm/scratch --index-filter "git
rm --cached -rf --ignore-unmatch ./path/to/dir/of/huge/files"
--tag-name-filter cat -- --all
git update-ref -d refs/original/refs/heads/master
git reflog expire --expire=now --all
git gc --prune=now
git push origin master --force #which tells me I need to pull. Suspicious
git pull
git push origin master --force
I'm starting to understand what these commands do, but it's still a bit of
a recipe for me. And it's not working.
Any suggestions for what to look at or try next? What am I not seeing?
Thanks,
Dave
--
You received this message because you are subscribed to the Google Groups "Git
for human beings" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to git-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.