I am not familiar with undoing commits in git.