Undo last commit: a manual check is better for it