Skip to content

Add note that we follow a rustc no merge-commit policy #6138

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

Merged

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