I've thought long and hard about undo for git operations. I always decided against it (in git-cola). all it takes is someone doing some git commands in a termi

I've thought long and hard about undo for git operations. I always decided against it (in git-cola). all it takes is someone doing some git commands in a terminal to (dangerously) confuse the undo stack. That's not the target audience of this GUI, though. pretty neat.