Git: drop useless aliases