Skip to content

org-repo: update to reflect the more relaxed merge rules #221

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.

Sign up for GitHub

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

Open
philiptaron wants to merge 1 commit into
base: main
Choose a base branch
from
Open

org-repo: update to reflect the more relaxed merge rules #221

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 11 additions & 5 deletions doc/org-repo.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,16 @@
# Organisation repo

This repository itself is the entry point for documentation on official resources.
It is important that the documentation for the NixOS org governance is accurate.

Everybody in the [CODEOWNERS](../.github/CODEOWNERS) file has write permission to this repository.
This allows people to get automatic review requests and merge PRs for the files that concern them.
PRs can only be merged if a codeowner for the respective files approves it, and all files need to have a codeowner entry.
The [`CODEOWNERS`](../.github/CODEOWNERS) file indicates the persons or groups who have either ownership or a stake in a document.
In addition to being a document in its own right, the named parties are added as an automatic review requests, and can merge PRs for the files that concern them.
All files in this repository need to have an entry in the `CODEOWNERS` file.
This entry serves as documentation for who the interested and relevant parties are to that section of governance.

Furthermore, the code owners for the CODEOWNERS file should have permission to give more people write access to this repository.
These people get requested for reviews when new people add themselves to CODEOWNERS, allowing them to give write access when merged.
The [GitHub org owners](./github-org-owners.md) are themselves the codeowner for the `CODEOWNERS` file.
They have permission to give more people write access to this repository.
They get requested for reviews when new people add themselves to `CODEOWNERS`, and can give the relevant parties write access to the repository.

Every person with write access can merge a PR in the repository.
The person who merges is responsible for doing so with due care.