mirror of
https://github.com/prometheus/prometheus.git
synced 2026-02-15 04:41:03 +01:00
* Delete prometheus_rule_group metrics when groups are removed Signed-off-by: Julien Pivotto <roidelapluie@inuits.eu>
* Delete prometheus_rule_group metrics when groups are removed Signed-off-by: Julien Pivotto <roidelapluie@inuits.eu>