Merge repo types
Created by: asdine
This merges the repo types and removes the repo-updater repo type. This is part of the split of https://github.com/sourcegraph/sourcegraph/pull/15530
Created by: asdine
This merges the repo types and removes the repo-updater repo type. This is part of the split of https://github.com/sourcegraph/sourcegraph/pull/15530