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 Glossary to Knowledge Base #6985

Merged
merged 37 commits into from
May 1, 2024
Merged

Add Glossary to Knowledge Base #6985

merged 37 commits into from
May 1, 2024

Conversation

gdjohnson
Copy link
Contributor

@gdjohnson gdjohnson commented Mar 5, 2024

Link to Issue

Closes: #6334

Description of Changes

  • Adds _Glossary.md to Knowledge Base
  • Entries whose further elaboration or clarification is in some way blocked (e.g. pending a meeting, confirmation with a lead) have been accordingly inline-commented
  • Bundles in various small improvements to the docs

@gdjohnson gdjohnson marked this pull request as ready for review March 5, 2024 20:13
Israellund
Israellund previously approved these changes Mar 11, 2024
Copy link
Collaborator

@Israellund Israellund left a comment

Choose a reason for hiding this comment

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

LGTM

knowledge_base/Notifications-Refactor.md Outdated Show resolved Hide resolved
knowledge_base/Notifications.md Outdated Show resolved Hide resolved
knowledge_base/_Glossary.md Outdated Show resolved Hide resolved
knowledge_base/_Glossary.md Outdated Show resolved Hide resolved
knowledge_base/_Glossary.md Outdated Show resolved Hide resolved
knowledge_base/_Glossary.md Outdated Show resolved Hide resolved
knowledge_base/_Glossary.md Outdated Show resolved Hide resolved
knowledge_base/_Glossary.md Outdated Show resolved Hide resolved
knowledge_base/_Glossary.md Outdated Show resolved Hide resolved
knowledge_base/_Glossary.md Show resolved Hide resolved
@gdjohnson gdjohnson dismissed jnaviask’s stale review April 15, 2024 15:23

He himself dismissed it per comments

@gdjohnson gdjohnson added the documentation Improvements or additions to documentation label Apr 15, 2024
@ForestMars ForestMars marked this pull request as draft April 19, 2024 20:11
@gdjohnson gdjohnson marked this pull request as ready for review April 22, 2024 16:22
@gdjohnson
Copy link
Contributor Author

gdjohnson commented Apr 22, 2024

Not totally sure what's happening here, or why this has been moved to draft.

This PR was recommended by @jnaviask to go in nearly a month ago.

I strongly believe that merge should occur, and any requested changes (so far, I see only Roger's comment, which has been addressed) can be opened as separate tickets.

@jnaviask jnaviask merged commit 090034a into master May 1, 2024
5 of 7 checks passed
@jnaviask jnaviask deleted the 6334.graham.glossary branch May 1, 2024 20:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[Docs Improvement] Create Ubiquitous Language Glossary For Knowledge Base
4 participants