Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reduce permissions to this org/repo #9

Open
BigLep opened this issue Feb 4, 2023 · 1 comment
Open

Reduce permissions to this org/repo #9

BigLep opened this issue Feb 4, 2023 · 1 comment
Assignees

Comments

@BigLep
Copy link
Member

BigLep commented Feb 4, 2023

In the rush to set this repo up and make bulk changes, extensive permissions were given. Actions that should be taken:

Reduce repo specific permissions

We currently have

  github-mgmt:
    collaborators:
      admin:
        - andyschwab-admin
        - arajasek
        - galargh
        - jennijuju
        - JesseXie
        - mastrwayne-admin
      push:
        - autonome
        - mroth
        - scotthconner
        - web3risk-admin

Lets remove all the direct collaborators.
We can move these folks to the github-mgmt team:

I believe the rest can be dropped.

Remove org ownership

In this event @galargh and I were elevated to org owners. We should be removed. With github-mgmt setup and having access there, we should be self-sufficient in helping with future permission needs.

@BigLep
Copy link
Member Author

BigLep commented Jun 14, 2023

@galargh or @andyschwab-admin : are you ok to take care of this cleanup?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants