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

[beta] backports #138817

Merged
merged 3 commits into from
Mar 22, 2025
Merged

[beta] backports #138817

merged 3 commits into from
Mar 22, 2025

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Mar 22, 2025

r? cuviper

ChrisDenton and others added 3 commits March 21, 2025 17:16
(cherry picked from commit ec8ec41)
This changes the path from "licences" to "licenses" for consistency
across the repo, including the usage directly around this line. This is
a US/UK spelling difference, but I believe the US spelling is also more
common in open source in general.

(cherry picked from commit d183da6)
@rustbot rustbot added A-testsuite Area: The testsuite used to check the correctness of rustc S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue. labels Mar 22, 2025
@cuviper
Copy link
Member Author

cuviper commented Mar 22, 2025

@bors r+ rollup=never

@bors
Copy link
Collaborator

bors commented Mar 22, 2025

📌 Commit 7fc74cd has been approved by cuviper

It is now in the queue for this repository.

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Mar 22, 2025
@matthiaskrgr
Copy link
Member

@bors p=4

@bors
Copy link
Collaborator

bors commented Mar 22, 2025

⌛ Testing commit 7fc74cd with merge 7824ede...

@bors
Copy link
Collaborator

bors commented Mar 22, 2025

☀️ Test successful - checks-actions
Approved by: cuviper
Pushing 7824ede to beta...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Mar 22, 2025
@bors bors merged commit 7824ede into rust-lang:beta Mar 22, 2025
7 checks passed
@rustbot rustbot added this to the 1.86.0 milestone Mar 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-testsuite Area: The testsuite used to check the correctness of rustc merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-bootstrap Relevant to the bootstrap subteam: Rust's build system (x.py and src/bootstrap) T-infra Relevant to the infrastructure team, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants