Tutta la documentazione posso trovare riferisce a HEAD
e ho sentito più volte che si tratta di caso sensitive.Yet sono in grado di fare cose come,Git: TESTA vs testa
git log head...merge_head
e funziona solo come
git log HEAD...MERGE_HEAD
è questo a causa di qualche personalizzazione mio setup locale che io sono a conoscenza di, o è solo una funzionalità non documentata (forse per scoraggiare tale pratica)?
[la testa è diversa da HEAD] (https://www.sbf5.com/~cduan/technical/git/git-1.shtml) –