This seems like the best/least inappropriate place to talk about GitHub access, so here goes.
We have Owners, Core and Associate teams. Owners have full access to all repositories (currently only squeak-ci), while Core has write access... to the empty set.
So since Tobias Pape's been issuing pull requests, and is in Core, he's been asking why he can't write to the repository. And as per the above, it looks like it's just "we haven't had anyone ask before, so we didn't set anything up".
So I did.
Core members now have write access to squeak-ci.
frank
box-admins@lists.squeakfoundation.org