zoekt-indexserver: handle gerrit-mirror RepoNameFormat config#772

Merged

keegancsmith merged 3 commits intosourcegraph:mainfrom xavier-calland:index-gerrit

May 3, 2024

+5-1

Commits on Apr 30, 2024

zoekt-indexserver: handle gerrit-mirror RepoNameFormat config
xavier-calland
committed

Commits on May 2, 2024

prefix configuration parameter name with "Gerrit"
xavier-calland
committed

Commits on May 3, 2024

Merge branch 'main' into index-gerrit
keegancsmith
authored