Skip to content

Remove unused cloud compute entries and add hkBst#1654

Merged
rylev merged 1 commit into
masterfrom
oli-obk-patch-1
Feb 21, 2025
Merged

Remove unused cloud compute entries and add hkBst#1654
rylev merged 1 commit into
masterfrom
oli-obk-patch-1

Conversation

@oli-obk

@oli-obk oli-obk commented Feb 14, 2025

Copy link
Copy Markdown
Contributor

Eagerly adding @hkBst so once they need it they have access instead of needing to wait through another team PR cycle. This was discussed in the compiler team and had a few approvals and no disagreements. For context see rust-lang/rust#136931 (comment)

The others are either already team members (@WaffleLapkin), or are not contributing anymore

@WaffleLapkin

Copy link
Copy Markdown
Member

hi yes I'm indeed a team member

@hkBst

hkBst commented Feb 18, 2025

Copy link
Copy Markdown
Member

@oli-obk thanks for moving so decisively on this. I can't wait for this to go through.

@Kobzol

Kobzol commented Feb 18, 2025

Copy link
Copy Markdown
Member

(CI needs to be fixed, hkBst doesn't have a user entry, and Dajamante should be either removed as an user or moved to alumni of cloud-compute).

@jieyouxu jieyouxu left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

While you're at it...

Comment thread teams/cloud-compute.toml Outdated
Comment thread teams/cloud-compute.toml Outdated
Comment thread teams/cloud-compute.toml
@oli-obk

oli-obk commented Feb 21, 2025

Copy link
Copy Markdown
Contributor Author

sorry for taking so long, should be all sorted now

Comment thread teams/cloud-compute.toml
Comment on lines +20 to 22
alumni = [
"Dajamante",
]

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Note: we don't always add alumni to marker teams since marker teams aren't really meant to indicate "service" to a particular effort, but I don't have strong feelings about this.

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

The alternative here was deleting their user file, which, knowing nothing about this person's involvement, I did not want to suggest.

@rylev rylev merged commit afc1b00 into master Feb 21, 2025
@oli-obk oli-obk deleted the oli-obk-patch-1 branch March 14, 2025 16:11
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.

7 participants