From d39c93e67febb5ad6daa021eb3f8e6a632b56a76 Mon Sep 17 00:00:00 2001 From: Omer Zidkoni Date: Wed, 25 Oct 2023 14:30:26 +0300 Subject: [PATCH] New variable for adding pull request comment title --- schema/frogbot-schema.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/schema/frogbot-schema.json b/schema/frogbot-schema.json index 0b2acf244..6ff22bf2a 100644 --- 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." },