refactor: rename coordination to require_lease_before_startup#2431

Merged

MichaelScofield merged 2 commits intoGreptimeTeam:developfrom WenyXu:refactor/rename-coordination

Sep 18, 2023

+22-17

Commits on Sep 18, 2023