Skip to content
This repository was archived by the owner on Mar 5, 2026. It is now read-only.

chore(ci): remove pr auditor#3289

Merged
burmudar merged 1 commit intomainfrom
remove-pr-auditor
Nov 13, 2025
Merged

chore(ci): remove pr auditor#3289
burmudar merged 1 commit intomainfrom
remove-pr-auditor

Conversation

@burmudar
Copy link
Copy Markdown
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 650e015 into main Nov 13, 2025
4 of 6 checks passed
@burmudar burmudar deleted the remove-pr-auditor branch November 13, 2025 13:42
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant