Fix config JSON schema for #194

gbv · Apr 21, 2023 · 1f025c2 · 1f025c2
1 parent 6a42b0c
commit 1f025c2
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/config/config.schema.json b/config/config.schema.json
@@ -429,7 +429,14 @@
           ]
         },
         "mismatchTagVocabulary": {
-          "type": "object"
+          "anyOf": [
+            {
+              "type": "null"
+            },
+            {
+              "type": "object"
+            }
+          ]
         }
       }
     },