Re: [PATCH 2/2] push: add '-d' as shorthand for '--delete'
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Dec 16, 2015, 20:29 UTC
- Message-ID
- <xmqqr3imcf2l.fsf@gitster.mtv.corp.google.com>
- In-Reply-To
- <20151214211856.GF14788@sigill.intra.peff.net>
Jeff King <peff@peff.net> writes:
> At this point, it seems that "--delete" is useful, and nothing else has > been proposed for "-d" in the intervening years. It seems like a > reasonable use of the flag to me.
I think there were two (and a half) reasons why we didn't let "--delete" use a short-and-sweet "-d", and I agree that "something else that is more useful did not come" removes one of them.
The other reason was to avoid the chance of fat-fingering, because deleting is destructive, and it is even harder to recover from if the damage is done remotely (and the remaining one-half is that deleting is a rare event).
Even though I do not think the need for the "safety" has been reduced over time to warrant this change, a similarity with "branch" that has "-d/--delete" would be a good enough argument to support this change.
Thanks.