Merge branch 'main' into dev/no-seam

SoftFever · Jan 30, 2024 · 1d422a1 · 1d422a1
2 parents e1f76d9 + 4110ecc
commit 1d422a1
Show file tree

Hide file tree

Showing 5 changed files with 328 additions and 207 deletions.
diff --git a/.github/workflows/orca_bot.yml b/.github/workflows/orca_bot.yml
@@ -4,23 +4,63 @@ on:
     - cron: "0 0 * * *"
 
 jobs:
-  close-issues:
+  stale:
     runs-on: ubuntu-latest
     permissions:
       issues: write
       pull-requests: write
+      contents: write # only for delete-branch option
     steps:
-      - uses: actions/stale@v5
+      - uses: actions/stale@v9
         with:
+          # PAT for GitHub API authentication
+          repo-token: ${{ github.token }}
+          # Max number of operations per run
+          operations-per-run: 1000
+          # Order to get issues/PRs
+          ascending: true
+
+          # ISSUES
+          # Do not auto-close an issue if it is assigned to a milestone
+          exempt-all-issue-milestones: true
+          # Exempt all issues with assignees from stale
+          exempt-all-issue-assignees: true
+          # Idle number of days before marking issues stale
           days-before-issue-stale: 90
+          # Idle number of days before marking issues close
           days-before-issue-close: 7
-          operations-per-run: 1000
+          # Label to apply on staled issues
           stale-issue-label: "stale"
-          ascending: true
-          stale-issue-message: "GitHub bot: this issue is stale because it has been open for 90 days with no activity."
-          close-issue-message: "GitHub bot: This issue was closed because it has been inactive for 7 days since being marked as stale."
+          # Issue close reason
+          close-issue-reason: not_planned
+          # Remove stale label from issues on updates
+          remove-issue-stale-when-updated: true
+          # Issue stale message
+          stale-issue-message: "Orca bot: this issue is stale because it has been open for 90 days with no activity."
+          # Issue closure message
+          close-issue-message: "Orca bot: This issue was closed because it has been inactive for 7 days since being marked as stale."
+
+          # PRs
+          # Do not auto-close a PR if it is assigned to a milestone
+          exempt-all-pr-milestones: true
+          # Exempt all PRs with assignees from stale
+          exempt-all-pr-assignees: true
+          # Skip the stale action for draft PRs
+          exempt-draft-pr: true
+          # Idle number of days before marking PRs stale
           days-before-pr-stale: -1
+          # Idle number of days before marking PRs close
           days-before-pr-close: -1
-          remove-issue-stale-when-updated: true
-          remove-pr-stale-when-updated: true 
-          repo-token: ${{ secrets.GITHUB_TOKEN }}
+          # Label to apply on staled PRs
+          stale-pr-label: "stale"
+          # Label to apply on closed PRs
+          close-pr-label: not_planned
+          # Remove stale label from PRs on updates
+          remove-pr-stale-when-updated: true
+          # PR stale message
+          stale-issue-message: "Orca bot: this PR is stale because it has been open for 90 days with no activity."
+          # PR closure message
+          close-issue-message: "Orca bot: This PR was closed because it has been inactive for 7 days since being marked as stale."
+          # Delete branch after closing a stale PR
+          delete-branch: true
+