+
Skip to content

Conversation

AlexanderLanin
Copy link
Member

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.

Copy link

@Copilot Copilot AI left a 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.

Copy link

The created documentation from the pull request is available at: docu-html

Copy link
Contributor

@masc2023 masc2023 left a 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?

@FScholPer
Copy link
Contributor

FScholPer commented Aug 28, 2025

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?

@masc2023
Copy link
Contributor

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/
/docs/requirements/tool/
/docs/requirements/design_decisions

@AlexanderLanin
Copy link
Member Author

For now my need is to document decision records. Some are about design, but not all.

I don't have the text at hand, so I'll just copy a screenshot as an example :)

example decision records

@AlexanderLanin
Copy link
Member Author

We have two people announced to leave the project, why keep them in?

Leaving a team within their company does not affect committer status within open source.

@masc2023
Copy link
Contributor

masc2023 commented Aug 28, 2025

We have two people announced to leave the project, why keep them in?

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
We are using here the CODEOWNER file to implement ROLE definitions as defined in Process Description workflow, their commiter status has nothing todo with that here

Copy link
Contributor

@masc2023 masc2023 left a 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

Copy link
Contributor

@FScholPer FScholPer 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. Sry for the delay

@AlexanderLanin AlexanderLanin merged commit e23dbd5 into eclipse-score:main Aug 29, 2025
6 checks passed
@AlexanderLanin AlexanderLanin deleted the alex branch August 29, 2025 08:34
masc2023 pushed a commit to esrlabs/score that referenced this pull request Oct 8, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

点击 这是indexloc提供的php浏览器服务,不要输入任何密码和下载