.gitconfig: alias.name-rev has no effect; remove