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_6_STABLE

Details
-------
https://git.postgresql.org/pg/commitdiff/4b7f418c6b4e9a4ae5660a6f7b8e8ecd90e5d085

Modified Files
--------------
doc/src/sgml/sourcerepo.sgml | 15 ++++++---------
1 file changed, 6 insertions(+), 9 deletions(-)

Reply via email to