Skip to content

Docs: New entries to glossary #10249

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

Merged
merged 15 commits into from
Apr 19, 2023

Conversation

benjaoming
Copy link
Contributor

@benjaoming benjaoming commented Apr 18, 2023

  • Adding a batch of new entries.
  • Applying new entries throughout docs

Some of these entries were originally from #10071

Refs: #9747


📚 Documentation previews 📚

@benjaoming benjaoming added Improvement Minor improvement to code Needed: documentation Documentation is required labels Apr 18, 2023
@benjaoming benjaoming requested a review from a team as a code owner April 18, 2023 09:02
@benjaoming benjaoming requested a review from ericholscher April 18, 2023 09:02
@benjaoming benjaoming changed the title Docs: Adds reproducible to glossary (and entries from another PR) Docs: New entries to glossary Apr 18, 2023
Copy link
Member

@humitos humitos 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 to me. I made some suggestions because I think we are going too verbose about the context in some terms but we are not clearly explaining the definition of the term itself.

@benjaoming benjaoming merged commit 68e070e into readthedocs:main Apr 19, 2023
@benjaoming benjaoming deleted the docs/glossary-reproducible branch April 19, 2023 19:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Improvement Minor improvement to code Needed: documentation Documentation is required
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants