On Fri, Aug 17, 2007 at 08:31:15PM +0200, Mike Hommey <mh@xxxxxxxxxxxx> wrote: > On Fri, Aug 17, 2007 at 07:18:51PM +0200, Mike Hommey <mh@xxxxxxxxxxxx> wrote: > > $ rm .git/logs/refs/heads/master > > $ rm .git/logs/HEAD > > git-reflog expire --expire-unreachable=$(date +%s) --all > > is cleaner, but git prune -n still misses a tree. FWIW, I found out what was happening, and why there was still a tree not being pruned: it was used by the index. So all in all, no spurious object after cleanup. Mike - 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
