[amelius]

But can it also undo the undo?

Anyway, shouldn't git just come with a "undo" command?

[fiddlerwoaroof]

Yes