Git: yet another alias