all: more assorted cleanups

2023-01-29 11:39:57 +01:00
parent 340b7614e2
commit 5056215a1f
21 changed files with 107 additions and 65 deletions
@@ -13,7 +13,7 @@
 name: 'GitHub - Close inactive issues'
 on:
  schedule:
-    - cron: "30 6 * * 4"
+    - cron: '30 6 * * 4'
  workflow_dispatch:
 jobs:
  close-issues: