Change default git repo URL to https
authorMagnus Hagander <magnus@hagander.net>
Wed, 7 Feb 2018 09:53:56 +0000 (10:53 +0100)
committerMagnus Hagander <magnus@hagander.net>
Wed, 7 Feb 2018 10:00:26 +0000 (11:00 +0100)
commit9e039015501ad4033c093dee8dfc8b414634e953
tree4d36cfa81c26601e2adaff23df1e30df1f9dbf3c
parent0a459cec96d3856f476c2db298c6b52f592894e8
Change default git repo URL to https

Since we now support the server side handler for git over https (so
we're no longer using the "dumb protocol"), make https the primary
choice for cloning the repository, and the git protocol the secondary
choice.

In passing, also change the links to git-scm.com from http to https.

Reviewed by Stefan Kaltenbrunner and David G. Johnston
doc/src/sgml/sourcerepo.sgml