Skip to content

Moving some users to be outside collaborators#168

Closed
BigLep wants to merge 1 commit intomasterfrom
biglep/move-some-mebmers-to-be-outside-collaborators
Closed

Moving some users to be outside collaborators#168
BigLep wants to merge 1 commit intomasterfrom
biglep/move-some-mebmers-to-be-outside-collaborators

Conversation

@BigLep
Copy link
Member

@BigLep BigLep commented Sep 19, 2025

These users were listed as organizational members but they're not part of a team or any repo. As a result, they should be 100% safe to move as outside collaborators in the organization. I will do that in the UI, since there isn't a way to do this through github-mgmt currently. I'm doing this to free up membership seats for folks who do need to be members so they can access private repos.

@TheMenko
@YuliiaFilecoin
@mb1896
@porcuquine
@smagdali

Removed several usernames from the filecoin-project.yml.
I'll actually be doing this through the UI, but this is to provide some record.
@BigLep BigLep requested a review from a team as a code owner September 19, 2025 16:10
@github-actions
Copy link
Contributor

The following access changes will be introduced as a result of applying the plan:

Access Changes
User mb1896:
  - will leave the organization
User porcuquine:
  - will leave the organization
User smagdali:
  - will leave the organization
User themenko:
  - will leave the organization
User yuliiafilecoin:
  - will leave the organization

@BigLep
Copy link
Member Author

BigLep commented Sep 19, 2025

The folks above were converted to outside collaborators. I'll close this PR as github-mgmt state will update during the next sync job.

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

Successfully merging this pull request may close these issues.

1 participant