mirror of
https://github.com/prometheus/prometheus
synced 2024-12-24 15:32:48 +00:00
968d7f326c
Don't sync the Prometheus CircleCI orb version if it's not used by the repo's config. Signed-off-by: Ben Kochie <superq@gmail.com> |
||
---|---|---|
.. | ||
build_react_app.sh | ||
errcheck_excludes.txt | ||
genproto.sh | ||
sync_repo_files.sh | ||
tools.go |