Grant maintainers team read access to maintainer-docs#146
Draft
claude[bot] wants to merge 1 commit into
Draft
Conversation
Adds a GitHub team for the existing 'maintainers' role (previously Discord/Google only, with no parent team so it does not inherit steering-committee repo permissions) and grants it pull access to the maintainer-docs repository. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01LRucdTmghybeWkeaTtVuS1
Pulumi PreviewClick to expand preview output |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Requested by Den Delimarsky · Slack thread
Before: the
maintainer-docsrepo is only accessible tolead-maintainers,core-maintainers,steering-committee, and one individual. Folks in the general maintainer group have no access, and that group has no GitHub team at all (themaintainersrole currently exists only as a Discord role and a Google group).After: the
maintainersrole gets a GitHub team, managed here like every other team, and that team gets read access tomaintainer-docs. Everyone inusers.tswith themaintainersrole can read the docs site.How:
src/config/roles.tsaddsgithub: { team: 'maintainers' }to the existingmaintainersrole. It deliberately has no parent team so it does not inheritsteering-committeerepo permissions.src/config/repoAccess.tsadds{ team: 'maintainers', permission: 'pull' }to the existingmaintainer-docsentry.Permission is
pull(read) since the stated goal is that maintainers can read the docs site; higher tiers on this repo are already covered by the existing team grants. Note the preview will show a newmaintainersteam plus memberships for users holding that role. One caveat for reviewers: SDK maintainers are treated as general maintainers on Discord viadiscordImplies, but that mapping is Discord-only, so members of SDK teams get access here only if they also hold themaintainersrole inusers.ts.npm run checkpasses locally (format, validate, 23/23 config tests).