ci: update pr auditor name
Created by: davejrt
update PR auditor for https://github.com/sourcegraph/sourcegraph/issues/35635
Test plan
a green run on this pr
Created by: davejrt
update PR auditor for https://github.com/sourcegraph/sourcegraph/issues/35635
a green run on this pr
Merged by: davejrt at 2022-06-08 14:57:27 UTC