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

Update subtree sync docs for changes in rustc-dev-guide #10574

Merged
merged 1 commit into from
Apr 3, 2023

Conversation

jyn514
Copy link
Member

@jyn514 jyn514 commented Mar 30, 2023

Companion PR to rust-lang/rustc-dev-guide#1653. That still keeps a contributing.html with an "External Contributions" section, so hopefully it won't be too disruptive.

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Mar 30, 2023

r? @Jarcho

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Mar 30, 2023
@flip1995
Copy link
Member

@bors delegate+

Feel free to merge, once the other PR is merged.

@bors
Copy link
Contributor

bors commented Mar 30, 2023

✌️ @jyn514 can now approve this pull request

@jyn514 jyn514 marked this pull request as ready for review April 3, 2023 11:42
@jyn514
Copy link
Member Author

jyn514 commented Apr 3, 2023

@bors r=flip1995

@bors
Copy link
Contributor

bors commented Apr 3, 2023

📌 Commit d29dec1 has been approved by flip1995

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Apr 3, 2023

⌛ Testing commit d29dec1 with merge 207955c...

@bors
Copy link
Contributor

bors commented Apr 3, 2023

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing 207955c to master...

@bors bors merged commit 207955c into rust-lang:master Apr 3, 2023
@jyn514 jyn514 deleted the update-docs branch April 3, 2023 11:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants