On Fri, Aug 17, 2007 at 08:31:15PM +0200, Mike Hommey [off-list ref] wrote:
On Fri, Aug 17, 2007 at 07:18:51PM +0200, Mike Hommey [off-list ref] wrote:
quoted
$ 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