[bug] zoekt.name and Repo.name are different for local repos with ports

[brendan-kellam]

Describe the bug

zoekt.name and Repo.name are different for local repos with ports

To reproduce

.

Sourcebot deployment information

Sourcebot version (e.g. v3.0.1):

Additional information

No response