Use 12 digits to show a git commit.
Created attachment 374744 [details] Patch
rdar://47048358
I did the math for this a few months back, 8 is way to small and a collision is quite likely given 10's of thousands of commits. If I recall, 12 digits supports what is, in effect, around 100 years worth of WebKit commits at the current rate.
Landed in r247770