fix: remove Stale label when Devin starts completing a stale PR (#26909)

* fix: remove Stale label when Devin starts completing a stale PR

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>

* fix: update Devin prompt to remove Stale label after pushing changes

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>

* fix: use lowercase 'stale' label to match repository label

Co-Authored-By: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>

* Update stale-pr-devin-completion.yml

---------

Co-authored-by: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com>

.github/workflows/stale-pr-devin-completion.yml

@@ -17,11 +17,11 @@ 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' 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'
     runs-on: blacksmith-2vcpu-ubuntu-2404
     steps:
       - name: Get PR details
@@ -201,8 +201,8 @@ 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. Post a summary comment on the PR explaining what you completed.
-          10. Remove the 'stale' label from the PR if you've completed the work.
+          9. After successfully pushing, remove the 'Stale' label from the PR.
+          10. Post a summary comment on the PR explaining what you completed.
           11. Mark the PR as ready for review if applicable.
 
           Rules and Guidelines: