On Mon, 20 Jan 2025 at 11:48, Jonathan Corbet <corbet@xxxxxxx> wrote:
>
> - Clarifying that Git commit IDs >12chars are OK
Wel,, I'm not sure that was an improvement.
I'd rather not see stupid extra random characters.
We'll see. Hopefully people realize that "at least 12" means 12. Not
some random other number.
Linus
