chore: updated manifest.json and dist build

gentlementlegen · Nov 21, 2024 · 6b2ad91 · 6b2ad91
1 parent 3623fd8
commit 6b2ad91
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/dist/index.js b/dist/index.js
diff --git a/manifest.json b/manifest.json
@@ -263,7 +263,13 @@
             "anyOf": [
               {
                 "type": "object",
-                "properties": {}
+                "properties": {
+                  "skipCommentsWhileAssigned": {
+                    "default": true,
+                    "description": "Skip comments posted by a user while it is assigned to the issue",
+                    "type": "boolean"
+                  }
+                }
               },
               {
                 "type": "null"