From b28b337f67488c9248222486908d9f8aeb1c0dbf Mon Sep 17 00:00:00 2001 From: Keith Williams Date: Mon, 2 Feb 2026 08:00:07 -0300 Subject: [PATCH] feat: add devin-finish-pr label as trigger for PR completion workflow (#27504) Co-authored-by: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> --- .github/workflows/stale-pr-devin-completion.yml | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/.github/workflows/stale-pr-devin-completion.yml b/.github/workflows/stale-pr-devin-completion.yml index 2e9410f545..da94af0705 100644 --- a/.github/workflows/stale-pr-devin-completion.yml +++ b/.github/workflows/stale-pr-devin-completion.yml @@ -17,11 +17,12 @@ permissions: jobs: complete-stale-pr: name: Trigger Devin to Complete Stale Community PR - # For labeled events: only run if 'Stale' label was added + # For labeled events: only run if 'Stale' or 'devin-finish-pr' label was added # For workflow_dispatch: always run (we'll validate the PR in the steps) if: > github.event_name == 'workflow_dispatch' || - github.event.label.name == 'Stale' + github.event.label.name == 'Stale' || + github.event.label.name == 'devin-finish-pr' runs-on: blacksmith-2vcpu-ubuntu-2404 steps: - name: Get PR details @@ -201,7 +202,7 @@ jobs: 6. Run the appropriate checks (lint, type-check, tests) to ensure the PR is ready for review. 7. Commit your changes with clear commit messages. 8. Push your changes to the PR branch. - 9. After successfully pushing, remove the 'Stale' label from the PR. + 9. After successfully pushing, remove the 'Stale' or 'devin-finish-pr' label from the PR (whichever was used to trigger this workflow). 10. Post a summary comment on the PR explaining what you completed. 11. Mark the PR as ready for review if applicable.