Skip to content

An experiment#54

Closed
rvedotrc wants to merge 1 commit into
mainfrom
deprecated-terminology
Closed

An experiment#54
rvedotrc wants to merge 1 commit into
mainfrom
deprecated-terminology

Conversation

@rvedotrc

@rvedotrc rvedotrc commented May 6, 2025

Copy link
Copy Markdown
Contributor

No description provided.

@adamblanchard

Copy link
Copy Markdown
Contributor

This is cool! :o

We could change the notice to link to the glossary instead, since there is an info box on that page that can give some context to why a word needs changing.

Agree that excluding code blocks would help a lot.

@rvedotrc rvedotrc closed this May 8, 2025
@rvedotrc rvedotrc deleted the deprecated-terminology branch October 15, 2025 05:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: No status

Development

Successfully merging this pull request may close these issues.

2 participants