New variable for adding pull request comment title

jfrog · Oct 25, 2023 · d39c93e · d39c93e
1 parent abf3cb9
commit d39c93e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/schema/frogbot-schema.json b/schema/frogbot-schema.json
@@ -72,7 +72,7 @@
         ]
       },
       "avoidExtraMessages": {
-        "type": "bool",
+        "type": "boolean",
         "default": "false",
         "description": "Avoid adding extra info to pull request comments. that isn't related to the scan findings."
       },