Skip to content
This repository has been archived by the owner on Mar 14, 2023. It is now read-only.

Remove recommendation about how to add changes to the pull request #327

Merged
merged 1 commit into from
Jun 24, 2021

Conversation

jhg
Copy link
Contributor

@jhg jhg commented Apr 18, 2021

For more context better read rust-lang/rustc-dev-guide#900 and check out the PR rust-lang/rustc-dev-guide#1111

@JohnTitor
Copy link
Member

r? @Mark-Simulacrum maybe? The wording makes some confusing and blocks the above rustc-dev-guide's PR.

@JohnTitor
Copy link
Member

Friendly-ping @Mark-Simulacrum, I remember you had some thoughts about this so I think you're one of the good reviewers here.

@Mark-Simulacrum
Copy link
Member

Seems good to remove this for now, we'll see what effect(s) that has.

@Mark-Simulacrum Mark-Simulacrum merged commit 04c0355 into rust-lang:master Jun 24, 2021
@jhg jhg deleted the issue_900_of_rustc_dev_guide branch July 19, 2021 13:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants