Comment by thrdbndndn

Thanks! Yeah probably the latter. The chance of they having 4 commits sharing the same first 5 letters after the fact is unlikely with mere 3k commits. So it's more plausible that they searched around their commit hashes and used the most duplicated prefix as an example at the time.