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