fixup! Add a GitHub workflow to monitor component updates

_Actually_ run this scheduled task only four times a day. Not
up-to-sixty-times-four times a day (every minute of those four hours).

D'oh.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

Diff for: .github/workflows/monitor-components.yml

@@ -7,7 +7,7 @@ name: Monitor component updates
 
 on:
   schedule:
-    - cron: "* 8,11,14,17 * * *"
+    - cron: "23 8,11,14,17 * * *"
   workflow_dispatch:
 
 env: