github team member changes

[Matt Wilkie]

Hello Leo Devs,

I've been working with Github Support and Edward on sorting out why Thomas is having troubles pushing code changes to the Leo-editor repository on Github. We may be near to solving that, but that's not the purpose of this message, namely:

The github Leo Editor organisation (not the leo-editor repo) members of the Core Team have had their status changed. Github has changed how teams work and members' permissions bits have been changed to match the new model. I believe I've set them so that the change is basically invisible, everyone should still be able to do what they were before -- commit to any repo under the org, create new public repos, administer issues. However if anyone finds they can't do something they used to be able to please let me know and I'll rectify it.

cheers,

-matt

[Edward K. Ream]

Thanks for this.

Edward