Re: github team member changes

2020-05-08 Thread Edward K. Ream
On Fri, May 8, 2020 at 1:34 AM Matt Wilkie  wrote:

> 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.
>

Thanks for this.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS0z8h6dYTDgRTvWM8ewSqUfy%2BF6n-GdXRwtTRXw8KoOsA%40mail.gmail.com.


github team member changes

2020-05-08 Thread 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

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/5f79808f-ae96-4439-aa34-0d3707ac03e9%40googlegroups.com.