Add empty migration (!11434) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge empty-migration into master Jun 11, 2020

Created by: efritz

See https://github.com/sourcegraph/sourcegraph/pull/10507 for the previous fix.

Ongoing discussion in https://docs.google.com/document/d/1pReWeznvPWQQknXdsK4z7zyhaVzdAcB1FhdDA_b1b24.