You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
echo"Because the documentation in this repository may slowly deviate from reality, this monthly issue is created to regularly review the files.
21
21
22
-
If you're pinged, please ensure that the relevant documentation matches reality.
22
+
All files are listed below with their associated code owners, who are asked to ensure that their contents match reality.
23
23
24
-
- If that's not the case, please investigate how this happened and address this so it doesn't happen again.
24
+
- If that's not the case, please investigate how this happened and address it so that it doesn't happen again.
25
25
26
-
To mitigate the current inconsistency:
26
+
To mitigate an inconsistency:
27
27
- 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.
28
28
- 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.
29
29
30
30
- Once the documentation matches reality, tick the checkmark.
31
31
32
32
If all checkmarks are ticked, the issue can be closed.
33
33
34
-
## Code owners
34
+
## Files
35
35
36
-
These are all [current code owner entries](../tree/$rev/.github/CODEOWNERS):
36
+
These are the [current code owners](https://github.com/$repo/tree/$rev/.github/CODEOWNERS) for each file:
37
37
"
38
38
39
-
# TODO: List all files in the repo, link to them directly and look up codeowners using some glob matching/codeowners library/CLI, warn for files without code owner
0 commit comments