release: remove manual PRs (now automated) (!1930) · Merge requests · Warren Gifford / about · GitLab

Warren Gifford requested to merge remove-manual-prs into main Nov 03, 2020

Created by: bobheadxi

Closes https://github.com/sourcegraph/sourcegraph/issues/15074 by documenting changes in https://github.com/sourcegraph/sourcegraph/pull/15281

Going to tackle the patch process in one go with https://github.com/sourcegraph/sourcegraph/issues/15293