Skip to content

ci: Remove PR auditor - #1454

Merged
eseliger merged 1 commit into
mainfrom
es/no-prauditor
Nov 27, 2025
Merged

ci: Remove PR auditor#1454
eseliger merged 1 commit into
mainfrom
es/no-prauditor

Conversation

@eseliger

@eseliger eseliger commented Nov 26, 2025

Copy link
Copy Markdown
Member

No longer required.

No longer required, this repo has required CI checks.
@vercel

vercel Bot commented Nov 26, 2025

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Preview Comments Updated (UTC)
sourcegraph-docs Ready Ready Preview Comment Nov 26, 2025 11:07pm
@eseliger
eseliger enabled auto-merge (squash) November 26, 2025 23:05
@eseliger
eseliger disabled auto-merge November 26, 2025 23:06
@eseliger

Copy link
Copy Markdown
Member Author
@eseliger
eseliger merged commit 77fe85a into main Nov 27, 2025
5 checks passed
@eseliger
eseliger deleted the es/no-prauditor branch November 27, 2025 00:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants