[blainesch]

This even force pushes! Your last hope is the reflog, which can also be pruned/deleted. Maybe that should be added?

[tuxtimo]

Oh yeah! I added a "git prune" and "git gc". That does it, right?