Code Insights: Update ping doc (!29965) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge vk/update-ping-doc into main Jan 20, 2022

Created by: vovakulikov

Part of https://github.com/sourcegraph/sourcegraph/issues/27214