We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 7c95207 commit 0c33de8Copy full SHA for 0c33de8
.github/VOUCHED.td
@@ -11,6 +11,8 @@ myftija
11
nicktrn
12
samejr
13
isshaddad
14
+# Bots
15
+devin-ai-integration[bot]
16
# Outside contributors
17
gautamsi
18
capaj
.github/workflows/vouch-check-pr.yml
@@ -27,7 +27,8 @@ jobs:
27
github.event.pull_request.draft == false &&
28
github.event.pull_request.author_association != 'MEMBER' &&
29
github.event.pull_request.author_association != 'OWNER' &&
30
- github.event.pull_request.author_association != 'COLLABORATOR'
+ github.event.pull_request.author_association != 'COLLABORATOR' &&
31
+ github.event.pull_request.user.login != 'devin-ai-integration[bot]'
32
runs-on: ubuntu-latest
33
steps:
34
- name: Close non-draft PR
0 commit comments