It turns out that for the Chromium repository, 12 digits is not enough. There are two revisions in the repo whose initial 12 digits are the same, 72d496d75536. (If it weren't for that pair of revisions, 10 digits would be good enough. But 9 digits has quite a few collisions.)