On 02/09/2019 19:29, Junio C Hamano wrote:
maybe use a trailing 4 characters of the oid to get a reasonably unique label?I see there are "lets make sure it is unique by suffixing "-%d" in other codepaths; would that help if this piece of code yields a label that is not unique?
Oh, just seen dscho's "we make sure that the labels are unique, via the `label_oid()` function!", maybe needs mentioning in the commit message if re-rolled.
Philip