Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[CI] Page-local dictionary normalization: drop unused words and duplicates (now case-insensitive compare) #6165

Merged

Conversation

chalin
Copy link
Contributor

@chalin chalin commented Feb 1, 2025

  • Updates the page-local dictionary (cSpell:ignore) list, excluding words that don't appear in the page.
  • Drops duplicates from the words list, ignoring case.
  • Ensures that any remaining words that were duplicates are in lower case (so as to match all capitalizations)

Copy link
Contributor

@tiffany76 tiffany76 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

RSLGTM.

@chalin chalin added this pull request to the merge queue Feb 1, 2025
Merged via the queue into open-telemetry:main with commit 748555c Feb 1, 2025
17 checks passed
@chalin chalin deleted the chalin-im-dict-cleanup-2025-01-31 branch February 1, 2025 15:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Development

Successfully merging this pull request may close these issues.

3 participants