mirror of https://github.com/prometheus/prometheus
Merge pull request #8675 from prometheus/superq/null_orb
Don't sync if no orb is usedpull/8678/head
commit
4ceb9911d4
Loading…
Reference in new issue