user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

triagebot: tweak welcome message

Browse source
This commit is contained in:
Ralf Jung 2025-07-16 19:42:52 +02:00
parent 4e8ce1ee6a
commit b390c41388
1 changed files with 4 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

13
src/tools/miri/triagebot.toml
View file

@ -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]