codeintel: Fix ignored dumps
Created by: chrismwendt
There was a mistake in a for
loop which prevented ignoreIDs
from working as intended. Investigation prompted by https://github.com/sourcegraph/sourcegraph/pull/24854#discussion_r737579687
Created by: chrismwendt
There was a mistake in a for
loop which prevented ignoreIDs
from working as intended. Investigation prompted by https://github.com/sourcegraph/sourcegraph/pull/24854#discussion_r737579687