Merge branch 'develop' into develop

EthanYuan · Jul 29, 2024 · f87e573 · f87e573
2 parents eb72c29 + 9198dd7
commit f87e573
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 17 deletions.
diff --git a/.github/stale.yml b/.github/stale.yml
diff --git a/.github/workflows/stall.yml → .github/workflows/stale.yaml b/.github/workflows/stall.yml → .github/workflows/stale.yaml
@@ -21,3 +21,7 @@ jobs:
           days-before-pr-stale: 45
           days-before-issue-close: 5
           days-before-pr-close: 10
+          stale-issue-label: stale
+          stale-pr-label: stale
+          exempt-issue-labels: pinned
+          exempt-pr-labels: pinned