From: Felipe Contreras Date: Wed, 01 May 2013 23:14:41 GMT Subject: Re: [PATCH v3] Add new @ shortcut for HEAD Message-ID: In-Reply-To: <7v4nem488y.fsf@alter.siamese.dyndns.org> On Wed, May 1, 2013 at 5:59 PM, Junio C Hamano wrote: > Felipe Contreras writes: > >> Exactly, because ref@something is used for operations on a ref. If >> 'ref' is missing, it only makes sense to use HEAD (or something like >> that), and if 'something' is missing, it only makes sense to make it a >> no-op, but since we don't want to forbid refs with names like >> 'master@'. That's the reason why '@' makes sense, and not any other >> character. > > Yes. My typo made it look as if I meant to say '@' was a bad > choice, but we are in agreement that '@' is better than any other > random choice of single punctuation letter. Yeah, we agree. > It is just the "strip this, strip that" explanation, which is not > technically correct, does _not_ have to be our justification for > picking '@' as a short-hand for HEAD. The point is that it follows from @something -> @. -- Felipe Contreras