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

[2024 December] Regular manual review #41

Open
2 of 12 tasks
github-actions bot opened this issue Dec 1, 2024 · 2 comments
Open
2 of 12 tasks

[2024 December] Regular manual review #41

github-actions bot opened this issue Dec 1, 2024 · 2 comments

Comments

@github-actions
Copy link

github-actions bot commented Dec 1, 2024

Because the documentation in this repository may slowly deviate from reality, this monthly issue is created to regularly review the files.

All files are listed below with their associated code owners, who are asked to ensure that their contents match reality.

  • If that's not the case, please investigate how this happened and address it so that it doesn't happen again.

    To mitigate an inconsistency:

    • If a PR was merged without updating reality, update reality to match the new documentation, then post a comment in this issue with what was done.
    • If reality was updated without a PR, open a PR to update the documentation, then post a comment in this issue with a link to the PR.
  • Once the documentation matches reality, tick the checkmark.

If all checkmarks are ticked, the issue can be closed.

Files

These are the current code owners for each file:

@Mic92
Copy link
Member

Mic92 commented Dec 1, 2024

Getting monthly pinged on this, feels a bit excessive. Maybe reducing the frequency would be useful.

@infinisil
Copy link
Member

@Mic92 #43

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

No branches or pull requests

2 participants