From 74d6ba3ab43c939a33965fbb7a59892b1c81bdce Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Tue, 4 Nov 2025 19:45:02 +0100
Subject: [PATCH] Revert "wprkflows/bot: increase frequency to every 5 minutes"

This partially reverts commit 1197fe48da1d45506a3e95702ce5fb6437368598.

GitHub just doesn't schedule these narrow intervals. 10 minutes is
alright in practice.
---
 .github/workflows/bot.yml | 4 ++--
 ci/github-script/bot.js   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml
index b60e9d5c2ed6..6366f666de13 100644
--- a/.github/workflows/bot.yml
+++ b/.github/workflows/bot.yml
@@ -7,9 +7,9 @@ name: Bot
 
 on:
   schedule:
-    # Run every 5m
+    # Run every 10m
     # i.e., at each of the listed minutes, every hour
-    - cron: '02,07,12,17,22,27,32,37,42,47,52,57 * * * *'
+    - cron: '05,15,25,35,45,55 * * * *'
   workflow_call:
     inputs:
       headBranch:
diff --git a/ci/github-script/bot.js b/ci/github-script/bot.js
index 783d59ab51f4..fd5d4fa6df31 100644
--- a/ci/github-script/bot.js
+++ b/ci/github-script/bot.js
@@ -587,7 +587,7 @@ module.exports = async ({ github, context, core, dry }) => {
         state: 'open',
         sort: 'created',
         direction: 'asc',
-        per_page: 50,
+        per_page: 100,
         after: cursor,
       })