Felipe Contreras wrote:

So we can type '@' instead of 'HEAD@', or rather 'HEAD'. So now we can
use 'git show @~1', and all that goody goodness.

Good one.  This is what I didn't think of.

The implementation looks beautiful, and I have nothing more to say
about the patch.