Skip to content

Deduplicate labels#399

Merged
kaste merged 2 commits into
gh-pagesfrom
dedup-labels
Jun 11, 2026
Merged

Deduplicate labels#399
kaste merged 2 commits into
gh-pagesfrom
dedup-labels

Conversation

@kaste

@kaste kaste commented Jun 11, 2026

Copy link
Copy Markdown
Collaborator

Deduplicate labels case-insensitively for the labels collection and
choose the displayed casing from the most frequent variant.

See also #398

Benjamin Schaaf and others added 2 commits June 11, 2026 10:54
Currently there's "c" and "C" and "c++" and "C++"
Deduplicate labels case-insensitively for the labels collection, but
choose the displayed casing from the most frequent variant instead of
whichever variant appears first in the workspace.
@kaste kaste enabled auto-merge June 11, 2026 09:46
@kaste kaste merged commit dc0dd0b into gh-pages Jun 11, 2026
2 checks passed
@kaste kaste deleted the dedup-labels branch June 11, 2026 09:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant