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

Merge pull request #16970 from prometheus/mr/repo-sync-manual-trigger

Browse Source 
repo sync: allow manual triggering
This commit is contained in:
Matthias Rampke 2025-08-01 23:46:52 +02:00 committed by GitHub
commit 789fddf25a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
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:
schedule:
- cron: '44 17 * * *'
workflow_dispatch: {}
permissions:
contents: read