diff options
| author | Ralf Jung <post@ralfj.de> | 2025-07-16 19:42:52 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2025-07-16 22:10:19 +0200 |
| commit | b390c413882205de0716de3464f409d87f309d25 (patch) | |
| tree | b73358d4e1f00ea3f40e4c66e4c159f83632159c | |
| parent | 4e8ce1ee6ae4437f076bbfd282248111e2f57c83 (diff) | |
| download | rust-b390c413882205de0716de3464f409d87f309d25.tar.gz rust-b390c413882205de0716de3464f409d87f309d25.zip | |
triagebot: tweak welcome message
| -rw-r--r-- | src/tools/miri/triagebot.toml | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index c109b620846..9352ac73424 100644 --- a/src/tools/miri/triagebot.toml +++ b/src/tools/miri/triagebot.toml @@ -16,17 +16,12 @@ allow-unauthenticated = [ # Enables assigning users to issues and PRs. [assign] warn_non_default_branch = true -contributing_url = "https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md" +contributing_url = "https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#pr-review-process" [assign.custom_welcome_messages] -welcome-message = """ -Welcome, and thank you for contributing to Miri! -To ensure a smooth reviewing experience, please read https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#pr-review-process. -In particular, please do 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. -""" +welcome-message = "(unused)" welcome-message-no-reviewer = """ -Welcome, and thank you for contributing to Miri! -To ensure a smooth reviewing experience, please read https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md#pr-review-process. -In particular, please do 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. +Thank you for contributing to Miri! +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. """ [no-merges] |