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

Merge pull request #4471 from RalfJung/triagebot-welcome

Browse source 
triagebot welcome message for new users
This commit is contained in:
Oli Scherer 2025-07-16 12:27:23 +00:00 • committed by GitHub
commit 4e8ce1ee6a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 12 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/tools/miri/CONTRIBUTING.md
View file

@ -13,7 +13,7 @@ for a list of Miri maintainers.
[Rust Zulip]: https://rust-lang.zulipchat.com
### Pull review process
### PR review process
When you get a review, please take care of the requested changes in new commits. Do not amend
existing commits. Generally avoid force-pushing. The only time you should force push is when there

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

@ -17,6 +17,17 @@ allow-unauthenticated = [
[assign]
warn_non_default_branch = true
contributing_url = "https://github.com/rust-lang/miri/blob/master/CONTRIBUTING.md"
[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-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.
"""
[no-merges]
exclude_titles = ["Rustup"]