mirror of
https://github.com/prometheus/prometheus.git
synced 2026-04-11 16:51:20 +02: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>