diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2025-01-06 08:09:05 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-06 08:09:05 +0100 |
| commit | 69e7b12b6bed98d40ee66960700b7c60d2ab1e40 (patch) | |
| tree | c3a3765cf68252dc6e8d3e71bfbb2f28d18932d5 | |
| parent | bb2c4ad33101063cca351e9aa6495b30ee047383 (diff) | |
| parent | 2cc114c6da536e85117a103a50298e13944a2475 (diff) | |
| download | rust-69e7b12b6bed98d40ee66960700b7c60d2ab1e40.tar.gz rust-69e7b12b6bed98d40ee66960700b7c60d2ab1e40.zip | |
Rollup merge of #135132 - BoxyUwU:rdg_ping_group, r=jieyouxu
dev guide ping group and set adhoc reviewers to compiler r? ``@jieyouxu`` ``@Kobzol`` I added you both to the `cc` list since you're both also on the list of owners for `src/doc/rustc-dev-guide`
| -rw-r--r-- | triagebot.toml | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/triagebot.toml b/triagebot.toml index 1e3ac860f29..7efa63c2642 100644 --- a/triagebot.toml +++ b/triagebot.toml @@ -995,6 +995,10 @@ https://github.com/rust-lang/reference/blob/HEAD/src/identifiers.md. """ cc = ["@ehuss"] +[mentions."src/doc/rustc-dev-guide"] +message = "The rustc-dev-guide subtree was changed. If this PR *only* touches the dev guide consider submitting a PR directly to [rust-lang/rustc-dev-guide](https://github.com/rust-lang/rustc-dev-guide/pulls) otherwise thank you for updating the dev guide with your changes." +cc = ["@BoxyUwU", "@jieyouxu", "@kobzol"] + [assign] warn_non_default_branch.enable = true contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html" @@ -1213,7 +1217,7 @@ project-exploit-mitigations = [ "/src/doc/nomicon" = ["@ehuss"] "/src/doc/reference" = ["@ehuss"] "/src/doc/rust-by-example" = ["@ehuss"] -"/src/doc/rustc-dev-guide" = ["@kobzol", "@jieyouxu"] +"/src/doc/rustc-dev-guide" = ["compiler"] "/src/doc/rustdoc" = ["rustdoc"] "/src/doc/style-guide" = ["style-team"] "/src/etc" = ["@Mark-Simulacrum"] |