chore: Fix enterprise server build (!14722) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge ef/fix-build into main Oct 14, 2020

Created by: efritz

Take 2 for https://github.com/sourcegraph/sourcegraph/pull/14721.