Merge branch 'master' into dev

2026-07-03 02:21:38 +00:00 · 2020-09-02 16:43:47 +02:00
parent 9515973f9e a057f3c171
commit 2c80ada344
2 changed files with 5 additions and 1 deletions
@@ -1 +1,3 @@
-preferredBranch: dev
+preferredBranch: dev
+exclude:
+  label: branch-switcher-ignore
@@ -2,6 +2,7 @@ name: "Close stale issues/pull requests"
 on:
  schedule:
  - cron: "0 0 * * *"
+  workflow_dispatch:

 jobs:
  stale:
@@ -14,3 +15,4 @@ jobs:
        stale-pr-message: 'This pull request is stale because it has been open 30 days with no activity. Remove stale label or comment or this will be closed in 7 days'
        days-before-stale: 30
        days-before-close: 7
+        operations-per-run: 500