Skip to content

codeintel: Fix ignored dumps

Administrator requested to merge codeintel-fix-ignored-dumps into main

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

Merge request reports

Loading