Commit 3c5bb55
authored
`[no-mentions]` is for preventing something like
<#15378 (comment)>.
Well, maybe not working for PR description, I don't know.
`[note]` is for somebody else wanting to help summarize but having no
permission to edit top-level comments.
See docs for more:
* https://forge.rust-lang.org/triagebot/note.html
* https://forge.rust-lang.org/triagebot/no-mentions.html
1 file changed
+9
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
26 | 26 | | |
27 | 27 | | |
28 | 28 | | |
| 29 | + | |
| 30 | + | |
29 | 31 | | |
30 | 32 | | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
31 | 40 | | |
32 | 41 | | |
33 | 42 | | |
| |||
0 commit comments