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

Remove affiliate from a few org projects #480

Merged
merged 3 commits into from
Mar 26, 2024
Merged

Remove affiliate from a few org projects #480

merged 3 commits into from
Mar 26, 2024

Conversation

valencik
Copy link
Member

Some of this was originally done in #424
But I think I messed things up in the big one file squish.
Oh well, I've gone through all the affiliate projects now and I think this is it.

@valencik valencik self-assigned this Dec 27, 2023
@valencik
Copy link
Member Author

I'm reminded of this annoyance: #420 (comment)

@rossabaker
Copy link
Member

Some were flagged as such because they were orginally Incubator projects. When that went away, nobody had confirmed with the maintainers that they accepted the new terms of the charter, so all Typelevel Organization projects are in the Typelevel GitHub org, but not vice versa. It would be great if this is reconciled, but that, I think, is why.

@valencik
Copy link
Member Author

I was wondering how to reconcile this, and came across the following in the Charter:

8.3 Initial projects.** Projects already hosted under the Typelevel GitHub organization when this charter is ratified are considered Organization projects unless they are later removed.

https://github.com/typelevel/governance/blame/227296116f582064bcc33ff63972e06221061647/CHARTER.md#L70

Because we have the option of removing projects in the future, I think this is safe to merge.
Should one of the original maintainers disagree with the Charter rules, the project could be removed.

Pinging the affected teams just as a FYI
@typelevel/kittens @typelevel/simulacrum @typelevel/squants

I think we should approve this PR and merge to remove any ambiguity in the status of projects.

@valencik valencik merged commit 95d58ef into main Mar 26, 2024
3 checks passed
Copy link
Member

@joroKr21 joroKr21 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks 👍

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.

4 participants