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

Warren Gifford 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)