codeintel: Update pings to include number of repos with intelligence (!18846) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge ef/18832 into main Mar 04, 2021

Created by: efritz

Fixes https://github.com/sourcegraph/sourcegraph/issues/18832. Sister analytics PR: https://github.com/sourcegraph/analytics/pull/114.