-
Notifications
You must be signed in to change notification settings - Fork 61
Setup area for infrastructure documentation #1644
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
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Pull Request Overview
This PR establishes a new documentation area for infrastructure-related content within the project's documentation structure. The changes create a foundation for the infrastructure community to document toolchains, CI/CD practices, and development tools.
- Creates a new infrastructure documentation section with defined scope covering integration, automation, and common toolchains
- Adds placeholder for decision records (DR-001)
- Updates documentation configuration to support Markdown and Mermaid diagrams
Reviewed Changes
Copilot reviewed 5 out of 5 changed files in this pull request and generated 1 comment.
Show a summary per file
File | Description |
---|---|
docs/infrastructure/index.rst | Creates main infrastructure documentation index with scope definition and decision records structure |
docs/infrastructure/DR-001.md | Adds placeholder decision record file |
docs/index.rst | Links new infrastructure section to main documentation table of contents |
docs/conf.py | Adds myst_parser and mermaid extensions, updates type annotation |
.github/CODEOWNERS | Assigns infrastructure documentation ownership and reorganizes comments |
Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.
The created documentation from the pull request is available at: docu-html |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We have two people announced to leave the project, why keep them in?
I would prefer to locate DRs in a central place like in my pull request which is currently blocked: #1408 Is it only documentation or is it also decisions? |
docs/requirements or docs/infrastructure seems for me same central places, then I would propose to add it here /docs/requirements/stakeholder/ |
Leaving a team within their company does not affect committer status within open source. |
But it does not help, if people are not any more in project are gating people and they will not show-up any more, I think we need discussion here |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fine as initial version for Design Decision, concerning Codeowner, Tech Leads must decide
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good. Sry for the delay
As this involves a crazy amount of reviewers, I'm creating a separate PR without actual content just to setup an area for infrastructure documentation.
The goal here is for the infrastructure community to have a place where we can document stuff. Once we have a better understanding of the actual content, it will be easier to decide how exactly we want to structure it.