[mehrdadn]

I've had a lot of issues with git UI but git checkout seems among the more sane ones. Compared to how, say, git add can remove a file...