Skip to content

cmd/thanos/rule: remove unused metric#1912

Merged
squat merged 1 commit intothanos-io:masterfrom
simonpasquier:remove-unused-metric
Dec 19, 2019
Merged

cmd/thanos/rule: remove unused metric#1912
squat merged 1 commit intothanos-io:masterfrom
simonpasquier:remove-unused-metric

Conversation

@simonpasquier
Copy link
Contributor

Left over from #1838, the metric isn't used anywhere.

Signed-off-by: Simon Pasquier <spasquie@redhat.com>
@squat squat merged commit f5b7bac into thanos-io:master Dec 19, 2019
@simonpasquier simonpasquier deleted the remove-unused-metric branch December 19, 2019 14:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants