Re: [PATCH] Use https:// instead of git://.

[Bruno Haible]

Bernhard Voelker wrote:
> For HTTP/HTTPS, the question is if the server is configured for
> "smart HTTP" or if the client has to fall back to "dumb HTTP".

Does https://savannah.gnu.org/maintenance/UsingGit/ answer this question?
It says:
  "https://git.savannah.gnu.org/git/myproject.git -
   encrypted read-only anonymous smart http access"

Bruno