Wolfgang Walther 74d6ba3ab4 Revert "wprkflows/bot: increase frequency to every 5 minutes" ...

This partially reverts commit 1197fe48da.

GitHub just doesn't schedule these narrow intervals. 10 minutes is
alright in practice.

2025-11-04 19:49:07 +01:00

..

actions/checkout

…

ISSUE_TEMPLATE

…

workflows

Revert "wprkflows/bot: increase frequency to every 5 minutes"

2025-11-04 19:49:07 +01:00

dependabot.yml

…

ISSUE_TEMPLATE.md

…

labeler-development-branches.yml

workflows/bot: rename from labels

2025-11-01 15:24:09 +01:00

labeler-no-sync.yml

workflows/bot: rename from labels

2025-11-01 15:24:09 +01:00

labeler.yml

workflows/bot: rename from labels

2025-11-01 15:24:09 +01:00

PULL_REQUEST_TEMPLATE.md

…

STALE-BOT.md

…

zizmor.yml

ci: add zizmor check and configuration

2025-10-26 22:03:12 +01:00