Skip to content

Remove notrust in rustc_middle#76161

Merged
bors merged 1 commit into
rust-lang:masterfrom
pickfire:patch-3
Sep 1, 2020
Merged

Remove notrust in rustc_middle#76161
bors merged 1 commit into
rust-lang:masterfrom
pickfire:patch-3

Conversation

@pickfire

@pickfire pickfire commented Aug 31, 2020

Copy link
Copy Markdown
Contributor

Fix #19599

This confuse people, no trust or not rust?
Or not rust no trust? Only trust rust ^^

Superseeds #76063
r? @matklad

@pickfire
Remove notrust in rustc_middle
85a400d 
Fix rust-lang#19599

This confuse people, no trust or not rust?
Or not rust no trust? Only trust rust ^^
@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 31, 2020
@tesuji

tesuji commented Aug 31, 2020 •
edited
Loading

Copy link
Copy Markdown
Contributor

@pickfire , Could you remove the r? line from PR description ? Otherwise the reviewer will be pinged when the PR is rollupped or bor try, or even after this is merged, the reviewer will be pinged by forks pulling the changes on github.

@matklad

matklad commented Aug 31, 2020

Copy link
Copy Markdown
Contributor

Otherwise the reviewer will be pinged when the PR is rollup or bor try?

@lzutao do you know if we have an issue opened on the bors side to fix it? Seems relatively straightforward to regex-replace PR description.

@matklad

matklad commented Aug 31, 2020

Copy link
Copy Markdown
Contributor

r=me with PR description edited

@bors delegate

@matklad

matklad commented Aug 31, 2020

Copy link
Copy Markdown
Contributor

@bors delegate=pickfire

@bors

bors commented Aug 31, 2020

Copy link
Copy Markdown
Collaborator

✌️ @pickfire can now approve this pull request

@tesuji tesuji mentioned this pull request Aug 31, 2020
Closed
@pickfire

pickfire commented Aug 31, 2020 •
edited
Loading

Copy link
Copy Markdown
Contributor Author

@lzutao r? is not in the commit message, it's the pull request message. By the way, I ping him because he was the one that previously approved the previous pull request.

@bors r+ rollup

@bors

bors commented Aug 31, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit 85a400d has been approved by pickfire

@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 Aug 31, 2020
@pickfire

pickfire commented Aug 31, 2020

Copy link
Copy Markdown
Contributor Author

Wow, nice.

@bors

bors commented Aug 31, 2020

Copy link
Copy Markdown
Collaborator

💡 This pull request was already approved, no need to approve it again.

@bors

bors commented Aug 31, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit 85a400d has been approved by pickfire

@tesuji

tesuji commented Aug 31, 2020 •
edited
Loading

Copy link
Copy Markdown
Contributor

You should use r=matklad.

r? is not in the commit message, it's the pull request message.

Bors always use the PR description as message of merge commit.

I ping him because he was the one that previously approved the previous pull request.

yeah, removing the mentions shouldn't remove the ping to the person. I maybe wrong. But highfive also do the job.

@pickfire

pickfire commented Aug 31, 2020

Copy link
Copy Markdown
Contributor Author

Ah, I didn't know about r=matklad yet.

@tmandry tmandry mentioned this pull request Sep 1, 2020
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Sep 1, 2020
@bors
Auto merge of rust-lang#76186 - tmandry:rollup-49nliiy, r=tmandry
445f34b 
Rollup of 12 pull requests

Successful merges:

 - rust-lang#75945 (Use `env::func()`, not 'the function env::func' in docs for std::env)
 - rust-lang#76002 (Fix `-Z instrument-coverage` on MSVC)
 - rust-lang#76003 (Adds two source span utility functions used in source-based coverage)
 - rust-lang#76059 (Clean up E0764)
 - rust-lang#76103 (Clean up E0769)
 - rust-lang#76139 (Make `cow_is_borrowed` methods const)
 - rust-lang#76154 (Fix rustdoc strings indentation)
 - rust-lang#76161 (Remove notrust in rustc_middle)
 - rust-lang#76163 (README: Adjust Linux and macOS support platform and architecture)
 - rust-lang#76166 (Make `StringReader` private)
 - rust-lang#76172 (Revert rust-lang#75463)
 - rust-lang#76178 (Update expect-test to 1.0)

Failed merges:

r? @ghost
@bors bors merged commit 9df193b into rust-lang:master Sep 1, 2020
@pickfire pickfire deleted the patch-3 branch September 1, 2020 15:00
@cuviper cuviper added this to the 1.48.0 milestone Nov 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@matklad matklad

Labels

S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Milestone

1.48.0

Development

Successfully merging this pull request may close these issues.

Remove usage of 'notrust' in the docs

6 participants

@pickfire @tesuji @matklad @bors @cuviper @rust-highfive