mirrors/prometheus
1
0
Fork 0
mirror of https://github.com/prometheus/prometheus.git synced 2025-08-05 21:57:09 +02:00
Code Issues Projects Releases Wiki Activity

repo sync: allow manual triggering

Browse Source 
Add a [workflow dispatch](https://docs.github.com/en/actions/reference/workflows-and-actions/events-that-trigger-workflows#workflow_dispatch)
trigger to allow [manual triggering](https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow)
of the repo sync workflow.

I am often behind on merging the repo sync PRs. The script does not update them,
and I don't have the nerve right now to figure _that_ out. As a workaround, it
would be useful to trigger it manually after merging the outstanding ones, so I
can get a fresh round on the same day.

Signed-off-by: Matthias Rampke <matthias@prometheus.io>
This commit is contained in:
Matthias Rampke 2025-08-01 22:24:03 +02:00
parent 2e709c6567
commit 9ad799e0b1
No known key found for this signature in database
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/repo_sync.yml vendored
View File

@ -3,6 +3,7 @@ name: Sync repo files
on: on:
schedule: schedule:
- cron: '44 17 * * *' - cron: '44 17 * * *'
workflow_dispatch: {}
permissions: permissions:
contents: read contents: read