Rollup merge of #114734 - oli-obk:vacation_time, r=oli-obk

Mark oli as "on vacation"
This commit is contained in:
Matthias Krüger 2023-08-12 12:06:37 +02:00 committed by GitHub
commit cf9081c0a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -490,7 +490,7 @@ cc = ["@nnethercote"]
[assign]
warn_non_default_branch = true
contributing_url = "https://rustc-dev-guide.rust-lang.org/getting-started.html"
users_on_vacation = ["jyn514", "WaffleLapkin", "clubby789"]
users_on_vacation = ["jyn514", "WaffleLapkin", "clubby789", "oli-obk"]
[assign.adhoc_groups]
compiler-team = [