Nguyen Thai Ngoc Duy <> 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.

Matthieu Moy
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to