Felipe Contreras <felipe.contreras@xxxxxxxxx> writes: > So HEAD@{0}~0^0 is too much to type, but we can remove '^0', and we can > remove '~0', and we can remove 'HEAD', but we can't remove '{0}'? Another technical issue, even if you have reflogs. HEAD@{0} and @{0} are referring to two different reflogs, and means different things, even though they may refer to the same commit. But the comment in my previous message still stands. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html