Skip to content

Board rotation for 2025 #528

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

Merged
merged 1 commit into from
Jul 7, 2025
Merged

Board rotation for 2025 #528

merged 1 commit into from
Jul 7, 2025

Conversation

LaurentRDC
Copy link
Collaborator

@LaurentRDC LaurentRDC commented Jul 4, 2025

This pull request adds new board members, and rotates outgoing members. Simon PJ receives the new title of "Observer" as well.

This pull request will remain in draft state until bios and pictures for all new board members are gathered

@LaurentRDC LaurentRDC force-pushed the new-board-2025 branch 2 times, most recently from 5af5cd6 to 8bda516 Compare July 7, 2025 17:11
@LaurentRDC
Copy link
Collaborator Author

Pictures for Marc and Moritz will be added in a subsequent PR

@LaurentRDC LaurentRDC marked this pull request as ready for review July 7, 2025 18:32
@LaurentRDC LaurentRDC merged commit 374a25a into hakyll Jul 7, 2025
1 check passed
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