From 33b54f8e1ad411eff9deb23ec1802e1f31632086 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Brunner?= <stephane.brunner@camptocamp.com>
Date: Fri, 3 Feb 2023 11:38:39 +0100
Subject: [PATCH] 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.
---
 .github/renovate.json5 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/renovate.json5 b/.github/renovate.json5
index 6a8b4b96a..c934fae45 100644
--- 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,