Skip to content

Promote develop to master - #51

Merged
ph-css-promotion[bot] merged 4 commits into
masterfrom
promotion/develop-to-master
Aug 28, 2026
Merged

ph-css-promotion[bot] merged 4 commits into
masterfrom
promotion/develop-to-master

Conversation

@ph-css-promotion

Copy link
Copy Markdown

Automated promotion of develop to master.

ph-css-promotion Bot and others added 4 commits August 28, 2026 14:52
The */5 schedule has never fired. It was registered on master at 08:21
UTC today and produced zero runs in the following six and a half hours,
where it should have produced roughly 78. All 33 runs of this workflow
so far came from pull_request (the earlier trigger) or from a manual
dispatch.

Five minutes is GitHub's minimum permitted interval, not a service
level, and it is the first thing dropped when the scheduler is loaded.
This repository is already starved: sync-upstream managed a single run
in three days, 10.5 hours late, with the next window dropped outright.
A public fork asking for 288 runs a day gets none of them.

Every successful run of this workflow so far has been a manual
dispatch, so make that the primary path and leave an hourly check off
the top of the hour as a safety net for a manually-created upstream PR.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Stop polling upstream every five minutes
@ph-css-promotion
ph-css-promotion Bot enabled auto-merge August 28, 2026 15:01
@ph-css-promotion
ph-css-promotion Bot merged commit 55d298d into master Aug 28, 2026
5 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant