Junio C Hamano <gitster@xxxxxxxxx> writes: > And "HEAD^" is shorter and much easier to type, and more importantly, it > is more often used in the wild, so the readers of the documentation needs > to know it anyway to understand what other people do. Seriously: People like ^. This doc change is not good (and seems to demonstrate a lack of familiarity with typical git usage).... -Miles -- o The existentialist, not having a pillow, goes everywhere with the book by Sullivan, _I am going to spit on your graves_. -- 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