Rename defaultQueryFilters

This commit renames AugmentationProperties.defaultQueryFilters to
extraQueryExclusions, and changes its type to ExcludeQueryFilter[]. It
matters whether we are adding query inclusions or exclusions, and this
renaming makes that distinction clearer.
This commit is contained in:
Chuan-kai Lin
2025-06-19 12:19:28 -07:00
parent 1764e3d1c2
commit f5304e7bf5
2 changed files with 9 additions and 7 deletions

View File

@@ -1266,7 +1266,7 @@ async function generateCodeScanningConfig(
}
augmentedConfig["query-filters"] = [
...(config.augmentationProperties.defaultQueryFilters || []),
...(config.augmentationProperties.extraQueryExclusions || []),
...(augmentedConfig["query-filters"] || []),
];
if (augmentedConfig["query-filters"]?.length === 0) {