3 people 4932588309 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>

2026-01-15 20:09:17 -03:00

..

actions

refactor: consolidate Devin session logic into reusable action (#26843)

2026-01-14 18:02:25 +00:00

ISSUE_TEMPLATE

Create platform.md

2025-04-09 12:31:43 +02:00

matchers

Improves reported type errors on CI (#7813)

2023-03-28 13:12:40 -07:00

workflows

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

2026-01-15 20:09:17 -03:00

CODEOWNERS

chore: Update CODEOWNERS for GitHub actions/workflows (#26591)

2026-01-08 17:52:44 +00:00

labeler.yml

chore: Updated labeler to v5 (#15127)

2024-05-20 14:08:50 +01:00

oasdiff-err-ignore.txt

fix(api): return original email without OAuth suffix in bookings (#25593)

2026-01-12 07:48:37 +00:00

PULL_REQUEST_TEMPLATE.md

chore: pr-template updates to include demonstrations (#19533)

2025-02-25 13:01:39 +00:00