Is that really a concern for most people? Trying to keep hostnames secret is a losing battle anyways these days. You should probably be using a trusted TLS cer

Is that really a concern for most people? Trying to keep hostnames secret is a losing battle anyways these days. You should probably be using a trusted TLS certificate for your git hosting. And that means the host name will end up in certificate transparency logs which are even easier to scrape than DNS queries.