On Wed, 7 Jan 2009, Stephen R. van den Berg wrote: > 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 This might not be sufficient. Or at least you better run 'git prune' at the very end, and possibly add -f to 'git repack'. And if you somehow delete something you shouldn't have deleted then you're really screwed, whereas the pull method in another repository doesn't alter the original repository in case you need to go back to it and try something different. Nicolas -- 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
