Hello, On Tue, Nov 24, 2020 at 6:09 PM Felipe Contreras <felipe.contreras@xxxxxxxxx> wrote: > On Tue, Nov 24, 2020 at 4:45 PM Junio C Hamano <gitster@xxxxxxxxx> wrote: > > Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > > > Beauty is in the eye of the beholder. > > > > Using "@" is rather "illogical" than "ugly", and at that point it is > > not so subjective. > > I disagree. This is not an attempt to reignite the discussion, but just something that might be of interest. I created a poll [1] in reddit's r/git: Do you know @ is a shortcut for HEAD? 403 people gave a useful response. Of those; 74% didn't know such a shortcut existed, 80% liked this shortcut. But more importantly: 59% did like the shortcut, but didn't know it existed. That is: of the people that liked the shortcut; 74% didn't know it existed. This tells us something: putting personal preferences aside; the Git project doesn't seem to be doing a great job of advertising its features. Features a good chunk--if not the overwhelming majority--of users might like. Other things of interest in the comments: one user didn't even know what HEAD was, another used "head" (lowercase) (macOS user), and lastly; the second most voted comment did take a shot at Git's known unintuitiveness. That's it. Just putting it here. Cheers. [1] https://www.reddit.com/r/git/comments/k15cqm/do_you_know_is_a_shortcut_for_head/ -- Felipe Contreras
