rustbot
rustbot
r? @tgross35 rustbot has assigned @tgross35. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer. Use...
r? @weihanglo rustbot has assigned @weihanglo. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer. Use...
:umbrella: The latest upstream changes (possibly fa10d65e8e6fb5ff264e398d52764e84b6356777) made this pull request unmergeable. Please [resolve the merge conflicts](https://rustc-dev-guide.rust-lang.org/git.html#rebasing-and-conflicts).
Reminder, once the PR becomes ready for a review, use `@rustbot ready`.
Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @JohnTitor (or someone else) some time within the next...
:umbrella: The latest upstream changes (possibly 887b4984e2ec4690afb6aa2c3f31408b570033ca) made this pull request unmergeable. Please [resolve the merge conflicts](https://rustc-dev-guide.rust-lang.org/git.html#rebasing-and-conflicts).
:umbrella: The latest upstream changes (possibly bf115a45b6bbc97cafa9e7c90106c5856fd965ea) made this pull request unmergeable. Please [resolve the merge conflicts](https://rustc-dev-guide.rust-lang.org/git.html#rebasing-and-conflicts).
This PR modifies `src/bootstrap/src/core/config`. If appropriate, please update `CONFIG_CHANGE_HISTORY` in `src/bootstrap/src/utils/change_tracker.rs`. The rustc-dev-guide subtree was changed. If this PR *only* touches the dev guide consider submitting a PR directly to...
> [!IMPORTANT] > This issue is *not meant to be used for technical discussion*. There is a **Zulip [stream]** for that. > Use this issue to leave procedural comments, such...
**Error**: The feature `ping` is not enabled in this repository. To enable it add its section in the `triagebot.toml` in the root of the repository. Please file an issue on...