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