This update should be coordinated, let me know in slack when you will merge the PR. At that time I'll comment out the other commitbot.
Before continuing, check permissions in https://github.com/boostorg/boost/settings/actions -> "Workflow permissions" -> "Choose the default permissions granted to the GITHUB_TOKEN". It ought to be read/write.
I've set the cron schedule to 30 minutes. A problem with a more frequent schedule is sometimes Github Actions get overloaded, and jobs are delayed or overlapping.
This update should be coordinated, let me know in slack when you will merge the PR. At that time I'll comment out the other commitbot.
Before continuing, check permissions in https://github.com/boostorg/boost/settings/actions -> "Workflow permissions" -> "Choose the default permissions granted to the GITHUB_TOKEN". It ought to be read/write.
I've set the cron schedule to 30 minutes. A problem with a more frequent schedule is sometimes Github Actions get overloaded, and jobs are delayed or overlapping.
cc. @pdimov