Do the pull request at the end of the day

Have a maximum number of pull requests merged when we start work. Don't reopen pull requests that I deliberately close.
sbrunner · Feb 3, 2023 · 1111734 · 1111734
1 parent c46d961
commit 1111734
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/renovate.json5 b/.github/renovate.json5
@@ -1,7 +1,7 @@
 {
   extends: ['config:base'],
   timezone: 'Europe/Zurich',
-  schedule: 'on the first day of the month',
+  schedule: 'after 5pm on the first day of the month',
   labels: ['dependencies'],
   separateMajorMinor: true,
   separateMinorPatch: true,