codeintel: Filter out dumps associated with force pushed-away commits (!17256) · Merge requests · Warren Gifford / sourcegraph

Warren Gifford requested to merge ef/12588 into main Jan 13, 2021

Created by: efritz

Ensure that dumps attached to a commit that is not known to gitserver is not returned from either FindClosestDumps or Packages, or References queries in the API layer. Fixes https://github.com/sourcegraph/sourcegraph/issues/12588.

codeintel: Filter out dumps associated with force pushed-away commits

Merge request reports