@abbe98’s consistent contributions and review work show that he cares deeply not only about writing code, but also about the health of the community, the project infrastructure, and the governance that supports it.
I believe we would all benefit from having him in the Core Developer Group.
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.