Error loading file source: Repository "github.com/sourcegraph/sourcegraph-public-snapshot" not found.