Now that this no longer hits the github API in general, it's safer to process
many more issues. This is generally good as it's not possible to construct a
specific search that will process issues that have had their corresponding PR
merged. (We do have merge triggers however.) Additionally, process more issues
but only every 12 hours.
Signed-off-by: Patrick Donnelly <pdonnell@ibm.com>
default: false
type: boolean
schedule:
- - cron: '*/30 * * * *'
+ - cron: '0 */12 * * *'
pull_request_target:
types: [closed]
branches:
python3 ceph/src/script/redmine-upkeep.py
--github-action
--git-dir=./ceph/
+ --limit=5000
env:
REDMINE_API_KEY: ${{ secrets.REDMINE_API_KEY_BACKPORT_BOT }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
python3 ceph/src/script/redmine-upkeep.py
--github-action
--git-dir=./ceph/
+ --limit=5000
env:
REDMINE_API_KEY: ${{ secrets.REDMINE_API_KEY_BACKPORT_BOT }}
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}