feat: add extensions field to GrantedRegion (#227)

2025-04-03 20:28:44 +08:00
parent 9327e1098c
commit fb8e20ce29
5 changed files with 673 additions and 279 deletions
@@ -107,8 +107,7 @@ message HeartbeatResponse {
 message GrantedRegion {
  uint64 region_id = 1;
  RegionRole role = 2;
-  // The manifest version of the region leader.
-  uint64 manifest_version = 3;
+  map<string, bytes> extensions = 99;
 }

 message RegionLease {