Re: Problems getting rid of large files using git-filter-branch

From: Stephen R. van den Berg <srb@cuci.nl>
Date: Jan 6, 2009, 23:17 UTC
Message-ID: <20090106231726.GB13379@cuci.nl>
In-Reply-To: <alpine.LFD.2.00.0901061709510.26118@xanadu.home>

Nicolas Pitre wrote:

>On Tue, 6 Jan 2009, ?yvind Harboe wrote:
>OK, try this:

>	git pull file://$(pwd)/../my_repo.orig

Alternately, try:

rm -rf .git/ORIG_HEAD .git/FETCH_HEAD .git/index .git/logs .git/info/refs \
  .git/objects/pack/pack-*.keep .git/refs/original .git/refs/patches \
  .git/patches .git/gitk.cache &&
 git prune --expire now &&
 git repack -a -d --window=200 &&
 git gc

-- 
Sincerely,
           Stephen R. van den Berg.

"Very funny, Mr. Scott. Now beam down my clothes!"