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

From: Øyvind Harboe <oyvind.harboe@zylin.com>
Date: Jan 6, 2009, 22:41 UTC
Message-ID: <c09652430901061441xf18d39fw42d54c6c16c3626e@mail.gmail.com>
In-Reply-To: <alpine.LFD.2.00.0901061709510.26118@xanadu.home>

Show 14 quoted lines

>> 3. I tried "git reflog expire --all" + lots of other tricks in the
>> link below, but no luck.
>
> OK, try this:
>
>        cd ..
>        mv my_repo my_repo.orig
>        mkdir my_repo
>        cd my_repo
>        git init
>        git pull file://$(pwd)/../my_repo.orig
>
> This is the easiest way to ensure you have only the necessary objects in
> the new repo, without all the extra stuff tied to reflogs, etc.

Super!

That worked!

> Then, if your repo is still seemingly too big, you can get a bit dirty
> with the sequence Johannes just posted.

Johannes procedure had the unexpected side effect of showing that my server setup is flaky somehow though... :-) I'll need his tricks for other situations soon enough.

-- 
Øyvind Harboe
http://www.zylin.com/zy1000.html
ARM7 ARM9 XScale Cortex
JTAG debugger and flash programmer