HI all. I need some help.

I've been following the advice 
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? 



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.

Reply via email to