Conversation
vuvova
requested changes
Aug 3, 2026
vuvova
left a comment
Member
There was a problem hiding this comment.
Please, edit main committers.md (not lists/committers.md) and replace
- *github team membership cannot be made public. other projects solve it by keeping a list in a file and synchronizing with a team using github API from github action. we can have the list in this file and have github action push it to team membership*
+ See [here](lists/committers.md)and the same for the list of reviewers directly below. And I don't like two lists of maintainers, there's a risk of them getting out of sync. But let's solve it in a separate PR
Added the following lists: * committers: all current members of the Developers github group * reviewers: a subset of the above based on some pre- existing spreadsheets * maintainers: a subset of committers based on the list in the upper directory All lists are in the following format: * [<github user name or login if none>](https://github.com/login)
vuvova
approved these changes
Aug 4, 2026
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
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.
Added the following lists:
All lists are in the following format:
[<github user name or login if none>](https://github.com/login)