Skip to content

Conversation

@burmudar
Copy link
Contributor

PR Auditor is not required anymore since repo has a manadory CI step

Created by Sourcegraph batch change burmudar/remove-pr-auditor.

@burmudar burmudar merged commit f3834b0 into main Nov 13, 2025
15 of 17 checks passed
@burmudar burmudar deleted the remove-pr-auditor branch November 13, 2025 13:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants