>> 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 -- 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
