dot/gitconfig.in: Abolish the `git email' alias.