git-rebase: document suppression of duplicate commits