How short can Git abbreviate?