Rollup merge of #127847 - ChrisDenton:vacation, r=jhpratt

Reviewer on vacation

``@jhpratt`` asked to be set as on vacation
This commit is contained in:
Trevor Gross 2024-07-17 04:06:00 -05:00 committed by GitHub
commit 5d7466efb8
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -905,7 +905,7 @@ cc = ["@kobzol"]
[assign]
warn_non_default_branch = true
contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html"
users_on_vacation = ["jyn514"]
users_on_vacation = ["jyn514", "jhpratt"]
[assign.adhoc_groups]
compiler-team = [