Join GitHub today
server/leader: use the compact revision to watch leader #1396
Signed-off-by: nolouch email@example.com
What problem does this PR solve?
Use the current version may be lost the watch history, use compact version instead.
What is changed and how it works?
use the compact revision to watch leader