Skip to content

zoekt-mirror-gerrit: allow to use reponame without host in the index#771

Merged
keegancsmith merged 2 commits intosourcegraph:mainfrom xavier-calland:gerrit-repo-nameApr 29, 2024