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
Branch
------
REL9_5_STABLE
Details
-------
https://git.postgresql.org/pg/commitdiff/dc9f8fb66a6ca9ff04e1bef7660b5376e3a0cb0b
Modified Files
--------------
doc/src/sgml/sourcerepo.sgml | 15 ++++++---------
1 file changed, 6 insertions(+), 9 deletions(-)
