mirror of
https://github.com/prometheus/prometheus.git
synced 2026-05-15 09:36:38 +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>
23 lines
537 B
YAML
23 lines
537 B
YAML
---
|
|
name: Sync repo files
|
|
on:
|
|
schedule:
|
|
- cron: '44 17 * * *'
|
|
workflow_dispatch: {}
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
repo_sync:
|
|
runs-on: ubuntu-latest
|
|
if: github.repository_owner == 'prometheus'
|
|
container:
|
|
image: quay.io/prometheus/golang-builder
|
|
steps:
|
|
- uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2
|
|
with:
|
|
persist-credentials: false
|
|
- run: ./scripts/sync_repo_files.sh
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.PROMBOT_GITHUB_TOKEN }}
|