Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: add maxveldink to org #334

Merged
merged 1 commit into from
Jan 18, 2024
Merged

chore: add maxveldink to org #334

merged 1 commit into from
Jan 18, 2024

Conversation

toddbaert
Copy link
Member

@toddbaert toddbaert commented Jan 18, 2024

Requirement for #333

@maxveldink please 👍 this PR if you're OK to be a member!

@toddbaert toddbaert merged commit 037ceee into main Jan 18, 2024
2 checks passed
@toddbaert toddbaert deleted the chore/add-maxveldink branch January 18, 2024 17:11
@toddbaert
Copy link
Member Author

@staceypotter @DavidPHirsch can we add @maxveldink to the currently open GC vote? He's been a contributor for a good long while, but for some reason we missed his addition to the org until now.

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.

2 participants