Skip to content

Comments

Revert disjointness->disjointedness#14906

Merged
MichaReiser merged 1 commit intoastral-sh:mainfrom
DimitriPapadopoulos:codespell
Dec 11, 2024
Merged

Revert disjointness->disjointedness#14906
MichaReiser merged 1 commit intoastral-sh:mainfrom
DimitriPapadopoulos:codespell

Conversation

@DimitriPapadopoulos
Copy link
Contributor

@DimitriPapadopoulos DimitriPapadopoulos commented Dec 11, 2024

Summary

Partially revert #14880. While disjointness is missing from the OED and SCOWL (And Friends), it is commonly used in mathematics to describe disjoint sets.

Test Plan

CI tests.

While disjointness is missing from the OED and SCOWL (And Friends),
it is commonly used in mathematics to describe disjoint sets.
@MichaReiser MichaReiser added the ty Multi-file analysis & type inference label Dec 11, 2024
@AlexWaygood
Copy link
Member

Thanks for following up, I appreciate it :-)

@MichaReiser MichaReiser enabled auto-merge (squash) December 11, 2024 08:23
@MichaReiser MichaReiser merged commit a55722e into astral-sh:main Dec 11, 2024
@github-actions
Copy link
Contributor

ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ty Multi-file analysis & type inference

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants