]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
Merge pull request #44221 from BenoitKnecht/ceph-mon-device-metrics
authorYuri Weinstein <yweinste@redhat.com>
Mon, 10 Jan 2022 15:56:29 +0000 (07:56 -0800)
committerGitHub <noreply@github.com>
Mon, 10 Jan 2022 15:56:29 +0000 (07:56 -0800)
mon: Abort device health when device not found

Reviewed-by: Yaarit Hatuka <yaarit@redhat.com>

Trivial merge