Skip to content

Conversation

giraffate
Copy link
Contributor

I think it would be better to add a note that we follow a rustc no merge-commit policy. For example, it was mentioned at #5694 (comment).

changelog: none

@rust-highfive
Copy link

r? @Manishearth

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

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Oct 8, 2020
@Manishearth
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Oct 8, 2020

📌 Commit fd61686 has been approved by Manishearth

@bors
Copy link
Contributor

bors commented Oct 8, 2020

⌛ Testing commit fd61686 with merge 6bfc19c...

@bors
Copy link
Contributor

bors commented Oct 8, 2020

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Manishearth
Pushing 6bfc19c to master...

@bors bors merged commit 6bfc19c into rust-lang:master Oct 8, 2020
@giraffate giraffate deleted the note_that_we_follow_rustc_no_merge_policy branch October 12, 2020 02:36
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.

4 participants