From b390c413882205de0716de3464f409d87f309d25 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 16 Jul 2025 19:42:52 +0200 Subject: [PATCH] triagebot: tweak welcome message --- src/tools/miri/triagebot.toml | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/src/tools/miri/triagebot.toml b/src/tools/miri/triagebot.toml index c109b620846d..9352ac73424f 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]