An error occurred while fetching this tab.
ci: update pr auditor name
There are no commits yet
Push commits to the source branch or add previously merged commits to review them.
Created by: davejrt
update PR auditor for https://github.com/sourcegraph/sourcegraph/issues/35635
a green run on this pr
Push commits to the source branch or add previously merged commits to review them.