delete a commit gitextension code example

Example: how to remove commit in git extension

git reset --soft HEAD^ or git reset --soft HEAD~