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

Add "sems->seems, stems, semis, sens, seams," correction #3603

Merged
merged 1 commit into from
Dec 4, 2024

Conversation

cfi-gb
Copy link
Contributor

@cfi-gb cfi-gb commented Dec 4, 2024

Copy link
Contributor

@TheGiraffe3 TheGiraffe3 left a comment

Choose a reason for hiding this comment

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

"SEMS" is an abbreviation for "scanning electron microscope", so it may not be necessarily wrong. But it will be the majority of the time...

@cfi-gb
Copy link
Contributor Author

cfi-gb commented Dec 4, 2024

Some recent related comments from e.g. #2858 or #2804

Any (or almost any) typo could be seen as a valid abbreviation.

or

Don't worry, any typo could be a name (of a person, of a place, of a fictive character or place). We wouldn't have a dictionary of possible typos if we were to take that into account.

I can remember @peternewman writing something similar in the past but can't find that anymore. There it was IIRC suggested that if a project is using such an abbreviation it could be excluded on a case by case via the relevant exclude / ignore functionality of codespell.

@DimitriPapadopoulos DimitriPapadopoulos added the dictionary Changes to the dictionary label Dec 4, 2024
@cfi-gb cfi-gb changed the title Add "sems->seems, stems, semis, sens," correction Add "sems->seems, stems, semis, sens, seams," correction Dec 4, 2024
@DimitriPapadopoulos
Copy link
Collaborator

@larsoner Could you merge this? Again a codecov error as far as I can see.

@larsoner larsoner merged commit d298507 into codespell-project:main Dec 4, 2024
14 of 15 checks passed
@cfi-gb cfi-gb deleted the add_sems branch December 5, 2024 09:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dictionary Changes to the dictionary
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants