Add online help field to rpc platform

arduino · MatteoPologruto · Dec 19, 2022 · Dec 14, 2022 · Dec 14, 2022 · Dec 14, 2022
commit 60f55dd30fbd341a23a47332cd69f14b9b87aab5
diff --git a/rpc/cc/arduino/cli/commands/v1/common.pb.go b/rpc/cc/arduino/cli/commands/v1/common.pb.go
diff --git a/rpc/cc/arduino/cli/commands/v1/common.proto b/rpc/cc/arduino/cli/commands/v1/common.proto
@@ -99,6 +99,9 @@ message Platform {
  bool deprecated = 10;
  // Type of the platform.
  repeated string type = 11;
+  // A URL provided by the author of the platform's package, intended to point
+  // to their online help service.
+  HelpResources help = 12;
 }

 message InstalledPlatformReference {
@@ -126,3 +129,9 @@ message Profile {
  // FQBN specified in the profile.
  string fqbn = 2;
 }
+
+message HelpResources {
+  // A URL provided by the author of the platform's package, intended to point
+  // to their online help service.
+  string online = 1;
+}