Skip to content

Conversation

@ddbeck
Copy link
Collaborator

@ddbeck ddbeck commented Oct 22, 2025

This edits the governance doc, mostly to refresh the peers list to reflect currently active contributors. Specifically:

  • Add Rick Viscomi (@rviscomi) to the peers list. Rick was granted commit access to the repo, but never formally named as a peer. We ought to resolve this discrepancy.

  • Move several names to the emeriti list. These contributors have not recently been active on the project, so probably shouldn't be @-mentioned on issues and PRs. If they'd like to return, they're welcome to ask to be reinstated. In the mean time, we ought to deactivate their elevated repo privileges, as a security precaution.

The governance process requires owners' approval for these changes. I won't merge this without a couple owner approvers (and no objections).

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Oct 22, 2025
@captainbrosset
Copy link
Contributor

@ddbeck this looks ready for you to merge.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants