mirror of
https://github.com/prometheus/prometheus.git
synced 2025-08-05 21:57:09 +02:00
9ad799e0b1
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> |
||
|---|---|---|
| .. | ||
| automerge-dependabot.yml | ||
| buf-lint.yml | ||
| buf.yml | ||
| ci.yml | ||
| codeql-analysis.yml | ||
| container_description.yml | ||
| fuzzing.yml | ||
| lock.yml | ||
| prombench.yml | ||
| repo_sync.yml | ||
| scorecards.yml | ||
| stale.yml | ||