search

purescript / governance

22 stars 2 forks source link

Update core team & core collaborators #15

Closed thomashoneyman closed 2 years ago

thomashoneyman commented 2 years ago

This PR updates the list of core team members and core collaborators as several new folks have been nominated and have accepted their nominations. See also:

https://discourse.purescript.org/t/core-team-collaborator-additions