Re: Undo last commit?

Mike [off-list ref] writes:

"git reset --soft HEAD^" can't be picked up that quickly by a
beginner, but git uncommit would be obvious!

So would "git commit --amend", before which "reset --soft HEAD^" was the
only way to prepare doing it, but after which "reset --soft HEAD^" more or
less outlived its usefulness for that particular use case.