AlertFiltering: prohibit partial filtering · Killpit/codeql@63c8769 · GitHub
Skip to content

Commit 63c8769

Browse files
committed
AlertFiltering: prohibit partial filtering
This documentation-only commit clarifies that a query should either ignore restrictAlertsTo completely or apply restrictAlertsTo filtering to all alerts. This update eliminates the ambiguity on whether a query may choose to apply restrictAlertsTo filtering to only some alerts but not others (it may not).
1 parent 06b1d8e commit 63c8769

1 file changed

Lines changed: 3 additions & 0 deletions

File tree

‎shared/util/codeql/util/AlertFiltering.qll‎

Lines changed: 3 additions & 0 deletions

0 commit comments

Comments
 (0)