From b7410464aec5dbee217ea004d561cd8b7b00cd4a Mon Sep 17 00:00:00 2001 From: Eric Allam Date: Thu, 16 Apr 2026 11:37:01 +0100 Subject: [PATCH] chore: add Devin bot to vouch list and skip draft requirement --- .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 ce96548aa6f..c26c36153fa 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 21597cf467a..2109b7d3289 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