Files
nixpkgs/.github
Wolfgang Walther 1197fe48da wprkflows/bot: increase frequency to every 5 minutes
This makes reactions to merge comments and all the labeling a bit
quicker. Lower the number of backlog items to process per run
accordingly, so that we don't really need more API requests for it.
2025-11-04 16:13:41 +01:00
..
2025-11-01 15:24:09 +01:00