mirror of
https://github.com/prometheus/prometheus.git
synced 2026-02-16 21:31:46 +01:00
This commits renames the RuleManager to Manager as the package name is 'rules' now. The unused layer of abstraction of the RuleManager interface is removed.