GitHub permissions proposal

OK people, taking on board all the above, here’s our proposed github reshuffle . . can you let us know if this looks ok and we’ll make these changes next week.

Administrators
Everything that Core Developers can do PLUS ability to add/remove users, change their permissions etc
Andrew Spinks (legacy and back-up)
Rohan Mitchell @RohanM
Rob @oeoeaio
Maikel @maikel
Paul @pmackay

Core Developers
- Write access - can commit, manage pull requests from others etc
- Can manage issues
Lynne @lin_d_hop
Steve @stveep

Issue Managers (‘gardeners’)
- Write access but only to be used for managing issues e.g. labels, milestones etc.
- Can assign other users (including Community users) to issues.
- Must be careful NOT to commit code other than through a pull request [see Contributing.md]
Kirsten @Kirsten
Sally @sstead
Danni @danielle
Nick @NickWeir
Myriam @MyriamBoure
Elf @elf-pavlik

Community [Read only]
- Can create issues, comment and close their own issues (Issue Managers can assign them to issues)
- Can fork, work on code and submit pull requests, according to Community contribution process (outlined in contributing.md)
Everyone else, unless you want to make a case for why you need write access.