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