From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 06 Sep 2012 03:53:22 GMT
Subject: Re: Renaming a remote is 'rename', but removing is 'rm'
Message-ID: <7vehmf6c3x.fsf@alter.siamese.dyndns.org>
In-Reply-To: <vpqr4qg2044.fsf@bauges.imag.fr>

Matthieu Moy <Matthieu.Moy@grenoble-inp.fr> writes:

> Nguyen Thai Ngoc Duy <pclouds@gmail.com> writes:
>
>> Looking at the remote command list, "rm" is the only abbreviation. I
>> guess we should add "delete" (or "remove") as an alias for "rm".
>
> I'd vote for "remove", to make it clear that "rm" is the abbreviation.

Sounds sensible.  Please make it so.