Nomination of @abbe98 for the Core Developer Group

+1

Welcome! I'll make the necessary changes.

I do have some of the rights outlined as belonging to core developers, so if nothing else it improves transparency.

Yes, we need to improve/regularize the permissions structure. Martin recently added me to the "admins" group, but as the creator of both the Github organization, I was always effectively an admin.

Tom

1 Like