On undoing, fixing, or removing commits or mistakes in git