Pull Request Manager #12720
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: 'Pull Request Manager' | |
| on: | |
| schedule: | |
| - cron: '0 * * * *' | |
| jobs: | |
| stale: | |
| permissions: | |
| contents: read | |
| pull-requests: write | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Process stale PRs | |
| uses: actions/stale@v9 | |
| with: | |
| # Get issues in descending (newest first) order. | |
| ascending: false | |
| # After 6 months, mark issue as stale. | |
| days-before-issue-stale: 180 | |
| # Do not auto-close issues marked as stale. | |
| days-before-issue-close: -1 | |
| # After 3 months, mark PR as stale. | |
| days-before-pr-stale: 90 | |
| # Auto-close PRs marked as stale a month later. | |
| days-before-pr-close: 31 | |
| # Delete the branch when closing PRs. GitHub's "restore branch" function works indefinitely, so no reason not to. | |
| delete-branch: true | |
| stale-pr-message: 'This PR is being marked as stale due to inactivity.' | |
| close-pr-message: 'This PR is being closed due to inactivity. Please reopen if work is intended to be continued.' | |
| operations-per-run: 100 |