On Wed, Feb 8, 2017 at 3:05 PM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > - it hints that '!' is the more official spelling, making the > output you showed above acceptable. Long term , I'd rather have ^ as the "official" spelling as that is easier to teach to people. ! being a historic mistake as it is hard to type?