Skip to content

Conversation

ralfhandl
Copy link
Contributor

@ralfhandl ralfhandl commented Sep 12, 2025

We used both "case-sensitive" and "case sensitive", switching to the variant with dashes, also for "case-insensitive".


  • no schema changes are needed for this pull request

We used both flavors, with and without dash.
@ralfhandl ralfhandl requested review from a team as code owners September 12, 2025 12:19
@ralfhandl ralfhandl changed the base branch from main to v3.2-dev September 12, 2025 12:19
@ralfhandl ralfhandl added the editorial Wording and stylistic issues label Sep 12, 2025
@ralfhandl ralfhandl added this to the v3.2.0 milestone Sep 12, 2025
lornajane
lornajane previously approved these changes Sep 12, 2025
@ralfhandl ralfhandl requested a review from a team September 12, 2025 19:10
@ralfhandl ralfhandl enabled auto-merge September 12, 2025 19:10
@ralfhandl ralfhandl disabled auto-merge September 12, 2025 20:15
@ralfhandl ralfhandl changed the title 3.2 consistent use of "case sensitive" 3.2 consistent use of "case-(in)sensitive" Sep 15, 2025
lornajane
lornajane previously approved these changes Sep 15, 2025
earth2marsh
earth2marsh previously approved these changes Sep 15, 2025
Copy link
Member

@earth2marsh earth2marsh left a comment

Choose a reason for hiding this comment

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

Consider removing the hyphenation of the noun form, but otherwise this LGTM

Copy link
Member

@earth2marsh earth2marsh left a comment

Choose a reason for hiding this comment

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

LGTM, TY!

@ralfhandl ralfhandl requested a review from a team September 15, 2025 21:43
Copy link
Contributor

@mikekistler mikekistler left a comment

Choose a reason for hiding this comment

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

Looks good. 👍

@ralfhandl ralfhandl merged commit bea55aa into OAI:v3.2-dev Sep 16, 2025
2 checks passed
@ralfhandl ralfhandl deleted the 3.2-case-sensitive branch September 16, 2025 10:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editorial Wording and stylistic issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants