Re: [PATCH] git-diff.txt: prefer not using <commit>..<commit>

Ævar Arnfjörð Bjarmason [off-list ref] writes:

Sure, and if we're going to change our docs to consistently use @ at
either side of such ranges instead of the empty string for "HEAD" I
think that's worth discussing if the goal is to get rid of ".." for
"diff".

I'm commenting on the in-between state being more confusing to users,
which is as far as this patch gets us.

Yuck.  Let's not spread the @ disease.  We are not Perl where being
closer to line noise is somehow considered cool.  Spell it out as
HEAD, please.