We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ac94379 commit 14795f0Copy full SHA for 14795f0
src/tools/miri/triagebot.toml
@@ -20,7 +20,7 @@ contributing_url = "https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.m
20
[assign.custom_welcome_messages]
21
welcome-message = "(unused)"
22
welcome-message-no-reviewer = """
23
-Thank you for contributing to Miri!
+Thank you for contributing to Miri! A reviewer will take a look at your PR, typically within a week or two.
24
Please remember to not force-push to the PR branch except when you need to rebase due to a conflict or when the reviewer asks you for it.
25
"""
26
0 commit comments