Rollup merge of #115317 - oli-obk:no_moar_vacation, r=oli-obk

Devacationize oli-obk

r? `@oli-obk`

`@bors` r+ rollup
This commit is contained in:
Matthias Krüger 2023-08-28 19:53:57 +02:00 committed by GitHub
commit 7b6d2647c8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -585,7 +585,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", "clubby789", "oli-obk"]
users_on_vacation = ["jyn514", "clubby789"]
[assign.adhoc_groups]
compiler-team = [