Skip to content

docs(members): remove inactive members and update current team list#639

Merged
bjohansebas merged 2 commits intomainfrom
emeritus-2025
Oct 25, 2025
Merged

docs(members): remove inactive members and update current team list#639
bjohansebas merged 2 commits intomainfrom
emeritus-2025

Conversation

@bjohansebas
Copy link
Copy Markdown
Member

@bjohansebas bjohansebas commented Oct 11, 2025

@avivkeller
Copy link
Copy Markdown
Member

approved, however, let’s wait 7 days (at least) for the people mentioned to get involved

@bjohansebas
Copy link
Copy Markdown
Member Author

Since there are changes on the administrative side, the PR has to remain open for at least 14 days. Please review it, but don’t merge it yet.

After this is merged, I’ll coordinate with the active administrative members to add the missing people to the GitHub team and remove those who are now emeritus.

Copy link
Copy Markdown
Member

@Eomm Eomm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thks

@jonchurch
Copy link
Copy Markdown
Contributor

Im happy to rejoin the group here once it takes its first breaths again.

you can leave me as emeritus until then

Copy link
Copy Markdown
Member

@wesleytodd wesleytodd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for doing this!!

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Membership audit - please respond

6 participants