Re: [Bug] Porcelain allows creation of '@' branch

[Junio C Hamano <gitster@pobox.com>]

Bence Csókás <bence.csokas@arm.com> writes:

> On 2026. 09. 03. 14:35, Bence Csókás wrote:
>> On 2026. 09. 03. 10:38, Kristoffer Haugsbakk wrote:
>>> Not a bug (2024) https://lore.kernel.org/git/xmqqy12z7eti.fsf@gitster.g/
>>>
>>>      I suspect that it is much more productive to deprecate and remove
>>>      "@" that is a built-in synomym for HEAD (but "refs/remotes/origin/@"
>>>      does not act as a synonym for "refs/remotes/origin/HEAD"). [...]
>> I would not want to see @ removed, I have abandoned using HEAD years
>> ago, too much typing (especially if you want to express more complex
>> things, e.g. `git range-diff long-branch-name{^..otherbranch,..@}`, to
>> pick an example out of my bash-history).
>>
>> Bence
>
> P.S.:
>
> $  history | grep 'git .*@' | wc -l
> 74
> $  history | grep HEAD | wc -l
> 0
>
> ;)

You have some unlearning of a bad habit to do, then ;-)