mirror of
https://github.com/prometheus/prometheus.git
synced 2026-05-15 17:46:49 +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>