Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Backport of Add isLeader metric to track if a server is a leader into release/1.10.x #13360

Closed
wants to merge 2 commits into from

backport of commit 6e7a8f1c28c960298f320024b10fd5fc14e45aaa

00b5513
Select commit
Loading
Failed to load commit list.
Closed

Backport of Add isLeader metric to track if a server is a leader into release/1.10.x #13360

backport of commit 6e7a8f1c28c960298f320024b10fd5fc14e45aaa
00b5513
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs