GH org: do we really need so many owners?

[ulysses4ever]

(I didn't find a better place to raise this issue. I think it falls under the jurisdiction of the web master, so paging in @ytzi.)

This org currently has 13 owners. I'd say it's a bit too much. As a first step to mitigate this, I'd suggest to remove this permission from all people who graduated from PRL. This can be checked on the People page: https://prl.ccs.neu.edu/people.html (especially the "PRL Alumni and Former Members" section).

I don't have permission to do that, so I hope that some of the owners would act on this.

[arjunguha]

Fixed. Jon Bell, Jan, and I are owners. Happy to make other faculty owners if they want to. I am happy to maintain permissions.

[ulysses4ever]

Amazing, thanks!

[ulysses4ever]

According to the Lab roles document, the Contact Manager probably needs some more permissions than a plain member. The current contact manager (according to the website) is @camoy.

[camoy]

I can't do anything now because I'm no longer an owner either.

[arjunguha]

fixing

[arjunguha]

Matthias makes a good point in #305. But, I agree that too many owners is also bad. How about this--per the roles document, the Web master and Contact Manager need to administer GitHub. So, I've added them as owners (i.e., Cameron and Yangtian).

However, we should ensure that all lab members can create repos, setup GitHub Actions, etc. I think all lab members can create repos. I am not sure if they have access to Actions at this point.

[camoy]

I checked the org settings and actions should be enabled for all the repos. I think the default lab member privileges should suffice for everyone's use cases, but I can adjust as needed if anyone needs more access.

[ytzi]

I interpreted the relevant lab roles description here for Webmasters is "attending to Github issues" which to me sounds like attending to Github issues related to the website. I don't mind also administering Github though.

[ulysses4ever]

@ytzi you were right in your original understanding, and I mixed up webmaster with contact manager. Please, disregard my ping above. Of course, feel free to participate in any issue you find interesting.