dev: remove release ping script (!14280) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge release-no-ping into main Sep 29, 2020

Created by: bobheadxi

for https://github.com/sourcegraph/about/pull/1670 (https://github.com/sourcegraph/sourcegraph/issues/13871)