git: remove useless alias.