To use PolyGerrit, please enable JavaScript in your browser settings, and then refresh this page. dns option: make server id/priority optional (40) ยท Gerrit Code Review