git-commit: document --amend