Create shorter branch names when checking out a commit

When checking out a specific commit through the Log window, I am offered a new branch for the checkout to avoid the dangling HEAD issue. This branch name is automatically generated like "Branch_". The commit ID is unshortened and 40 characters long. Nobody uses 40 char long hashes in reality. I've heard that even for the Linux kernel a hash length of some 11 is currently sufficient to be unique.

So what about creating shorter branch names here? The length should probably be determined from the existing commit IDs and be set to whatever length is unique in the current repository. But probably no less than 6 chars. This minimum unique length could be cached for faster access, and the cache could be invalidated whenever any commit (or any object, depending on the scope of the value) in the repository changes.

It would make branch names a lot shorter, reducing the amount of noise.