Skip to content

Make run-zoekt-servers name version independent

Changzheng Liu requested to merge cz-generic-run-zoekt-servers-name into master

What does this MR do and why?

This MR is to address a review comment, !762 (comment 1739074252).

Checklist

Edited by Changzheng Liu

Merge request reports