GitHub repository: pravega/pravega-leaderElection
Description: leader election based on pravega StateSynchronizer