-
Notifications
You must be signed in to change notification settings - Fork 290
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
Add opsem team #926
Add opsem team #926
Conversation
CI is still failing, as Mario does not have an email in the the teams repo - @digama0 , could I ask you to submit a separate PR adding one? I believe github will give you a dummy/anonymous one if you prefer. Besides that, the PR also refers to a couple things that don't exist yet, and there are a couple other specific infra items that we could use support on. I'm happy to repost these requests elsewhere or implement them myself via follow ups to this repo to the extent that I can (I just don't know enough about what needs to be done here). Specifically:
|
We do not auto create repos for teams. You can add repos through this repository by following these instructions. You can see how this is done for other repos here.
If you can, I would prefer that we create a repo config file (just like the one described above) for the
I can do this once this PR is merged. (unfortunately Zulip streams are still manually managed by admins)
These will be automatically created once this PR is merged. Happy to help with any of this! Thanks so much! |
I am not sure archiving the ucg repo is the right call. That will just lead to tons of duplication of issues. We did this for the old memory model repo and it was quite annoying, in the end i did the work of closing or moving the old issues basically alone and it took years.
IMO we should rename the repo, not create a new one.
|
Just a note if you decide to go down this route: this will require someone from infra to do this (I'd be happy to). Once it's done, we can then add the repo's config to the team repo. |
I agree (this PR archives the wg, not the repo). I think we should keep using the repo for what it is currently used for. I still think it makes sense to have a separate opsem-team repo though, to use for all the procedural items that team repos typically get used for |
Oh, I misunderstood then. In that case, fine for me. Figuring out what to do with the repo (e.g. rename it to attach it more directly to the team) should probably be somewhere early on the team's agenda. |
@rylev what more is needed to get this PR merged? |
Shouldn't merging this PR have created @rust-lang/opsem ? No such team seems to exist yet. |
There's a bug in sync-team that has been fixed and is waiting for a review: rust-lang/sync-team#34 |
This PR creates the opsem team, as specified in rust-lang/rfcs#3346 . Welcome everyone, I'm exciting to be getting this team off the ground!
The PR also archives @rust-lang/wg-unsafe-code-guidelines - that work is of course not forgotten, but instead being inherited by the new team. Thanks to everyone who has contributed!
cc @CAD97 , @digama0 , @saethlin , @RalfJung as members and @nikomatsakis and @joshtriplett as lang leads