Skip to content

Remove Jose from active exec team and assorted tweaks#618

Merged
LaurentRDC merged 1 commit into
hakyllfrom
optional-exec-team
Jul 13, 2026
Merged

Remove Jose from active exec team and assorted tweaks#618
LaurentRDC merged 1 commit into
hakyllfrom
optional-exec-team

Conversation

@LaurentRDC

Copy link
Copy Markdown
Contributor

This PR adds a tenureEnd to Jose's profile, and makes the "executive team" section optional on the "Who we are" page.

The ordering of board members has also been updated, such that board officers are listed first.

@LaurentRDC
LaurentRDC merged commit 32c6b40 into hakyll Jul 13, 2026
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.

1 participant