codeintel: small gitserver repo/id refactor (!10886) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge codeintel-gitserver-exec-refactor into master May 20, 2020

Created by: efritz

Add repositoryIDToRepo function to codeintel gitserver package.