Skip to content

etcdserver: add is_leader prometheus metric that is 1 on the leader.#9587

Merged
gyuho merged 1 commit intoetcd-io:masterfrom mborsz:is_leaderApr 19, 2018

Commits

Commits on Apr 19, 2018