Github "team" editing -- so we can assign tickets to people

In order to assign defects to people who have spoken that they want to work on certain things, I have created a team on the github organization page.

This does not grant push access, but should allow people to assign tickets to themselves, and hopefully also close tickets.

If you’ve submitted a few patches and want on the list, let me know (off list is fine) your github ID.

–Michael