Skip to content

Commit

Permalink
fedora-bot: Only auto-merge on Wednesdays
Browse files Browse the repository at this point in the history
Currently we do excessive polling (every 30mins every day). Since our
releases are scheduled to always run on Wednesdays, let's rely on that
fact and define an ample enough window for PRs to get caught.

This means that when releasing on any other day (e.g. manually), one
needs to trigger the bot, merge the pagure PRs manually or wait until
the next Wednesday.
  • Loading branch information
ochosi authored and ondrejbudai committed Nov 28, 2023
1 parent 9326cce commit 0211eb1
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions .github/workflows/poll-releases.yml
Original file line number Diff line number Diff line change
@@ -1,10 +1,11 @@
# Poll for new releases in Fedora dist-git and schedule Koji builds and/or update Bodhi
# Poll for new pull requests in Fedora dist-git auto-merge when green
name: "Fedora bot"

on:
workflow_dispatch:
schedule:
- cron: '*/30 * * * *'
# Every 30mins between 8AM and 3PM on Wednesdays
- cron: '*/30 8-15 * * 3'

jobs:
check:
Expand Down

0 comments on commit 0211eb1

Please sign in to comment.