[Box-Admins] GitHub access

[Frank Shearar]

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