Commit Graph

2 Commits

Author SHA1 Message Date
Bart van der Braak
ceeaea0c8a Fix: Switch to scheduled trigger for appropriate permission scope in workflow
Previously, the workflow was triggered by **opened pull requests** events.
However, testing revealed that this event, initiated by external GitHub users,
lacks the permission scope to comment on or close pull requests.

To address this, I've updated the workflow to trigger on a schedule. Scheduled
triggers aren't tied to external actors, thereby ensuring the necessary
permission scopes are available.

Pull Request: https://projects.blender.org/blender/blender/pulls/122363
2024-05-28 14:12:20 +02:00
Bart van der Braak
180764c981 Fix: Replace defunct Probot with GitHub Action workflow to auto-close PRs
The Probot configuration we previously used to auto-close PRs (and Issues) on
GitHub is no longer functioning. To address this, I've created a GitHub Actions
workflow that performs the same task. This workflow is triggered whenever a pull
request is created. With the current setup, pull requests are marked as stale
immediately (0 days) and are subsequently closed right away (0 days).

Pull Request: https://projects.blender.org/blender/blender/pulls/122299
2024-05-28 10:24:14 +02:00