Commit Graph

3 Commits

Author SHA1 Message Date
Tobias
79455ee417 Update GitHub API methods in stale PR workflow 2026-02-08 21:01:56 +01:00
Tobias
7bd8140c6f Refactor stale PR management script for clarity 2026-02-08 20:58:24 +01:00
Tobias
c193627217 Add workflow to manage stale pull requests 2026-02-08 20:52:07 +01:00