From 0c33de88f01fd48c50aafb108b129e757a4bd83a Mon Sep 17 00:00:00 2001 From: Eric Allam Date: Thu, 16 Apr 2026 11:38:45 +0100 Subject: [PATCH] chore: add Devin bot to vouch list and skip draft requirement (#3396) --- .github/VOUCHED.td | 2 ++ .github/workflows/vouch-check-pr.yml | 3 ++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/VOUCHED.td b/.github/VOUCHED.td index ce96548aa..c26c36153 100644 --- a/.github/VOUCHED.td +++ b/.github/VOUCHED.td @@ -11,6 +11,8 @@ myftija nicktrn samejr isshaddad +# Bots +devin-ai-integration[bot] # Outside contributors gautamsi capaj diff --git a/.github/workflows/vouch-check-pr.yml b/.github/workflows/vouch-check-pr.yml index 21597cf46..2109b7d32 100644 --- a/.github/workflows/vouch-check-pr.yml +++ b/.github/workflows/vouch-check-pr.yml @@ -27,7 +27,8 @@ jobs: github.event.pull_request.draft == false && github.event.pull_request.author_association != 'MEMBER' && github.event.pull_request.author_association != 'OWNER' && - github.event.pull_request.author_association != 'COLLABORATOR' + github.event.pull_request.author_association != 'COLLABORATOR' && + github.event.pull_request.user.login != 'devin-ai-integration[bot]' runs-on: ubuntu-latest steps: - name: Close non-draft PR