search

purescript / governance

22 stars 2 forks source link

Remove myself as a core team member #14

Closed hdgarrood closed 3 years ago

hdgarrood commented 3 years ago

See https://harry.garrood.me/blog/stepping-down-from-purescript/

thomashoneyman commented 3 years ago

Also a sad approve from me. Also, what do you think of adding an “alumni” section that lists previous core team members, as a way to honor their work? Then you could be listed there along with Phil and others.

garyb commented 3 years ago

what do you think of adding an “alumni” section that lists previous core team members, as a way to honor their work? Then you could be listed there along with Phil and others.

I like the sound of that!

hdgarrood commented 3 years ago

An alumni section sounds reasonable to me, although speaking personally I don't feel that there's too much of a need for it - I feel like my work is sufficiently honoured already :) I think I'll just merge this for now, and we can add an alumni section in a separate PR if we want.