Skip to content
Merged
Changes from all commits
Commits
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
7 changes: 6 additions & 1 deletion dev-docs/specs/2026-10-13-devcontainer-permissions-design.md
Original file line number Diff line number Diff line change
Expand Up @@ -188,7 +188,12 @@ Set by an org owner, before any container gets push access.
Per repo: org rulesets need GitHub Team, which ourPLCC does not have.
"Apply the rulesets" is therefore a step in creating any ourPLCC repo. The
release Apps are the only bypass actors; nobody else bypasses, org owners
included.
included, with one exception: course-materials-ng's `main` also lets its
maintainer Alain Kägi (`alainkaegi`) bypass, because he maintains it by
pushing to `main` directly. Its `main` still needs the ruleset for everyone
else: `deploy.yml` runs on every push to `main` with the release App's token,
which reaches every repo in the App's installation. The remaining risk is
that one contributor's token.

- **`main`**, every repo except `change-requests` (`dev` included): require a
pull request, block force-pushes, block deletion.
Expand Down
Loading