Change Git repo URLs from git: to https:

per request from sysadmins

diff --git a/wwwtools/mrconfig b/wwwtools/mrconfig
index eb3e688a44c79f92665a96b2e4e356e9deb41112..2ed3c5ad5324fae354c0c4bbe7cc4b53d1c49aba 100644 (file)
--- a/wwwtools/mrconfig
+++ b/wwwtools/mrconfig
@@ -1,3 +1,3 @@
-include = cat messages-branches.txt | while read dir branch; do echo "[scm/$dir]"; echo "checkout = git clone --depth=1 --no-single-branch -b $branch git://git.postgresql.org/git/pgtranslation/messages.git $dir"; echo "pre_update = git checkout $branch"; echo; done
+include = cat messages-branches.txt | while read dir branch; do echo "[scm/$dir]"; echo "checkout = git clone --depth=1 --no-single-branch -b $branch https://git.postgresql.org/git/pgtranslation/messages.git $dir"; echo "pre_update = git checkout $branch"; echo; done
 
-include = cat postgresql-branches.txt | while read dir branch; do echo "[scm/$dir]"; echo "checkout = git clone --depth=1 -b $branch git://git.postgresql.org/git/postgresql.git $dir"; echo "pre_update = git checkout $branch"; echo; done
+include = cat postgresql-branches.txt | while read dir branch; do echo "[scm/$dir]"; echo "checkout = git clone --depth=1 -b $branch https://git.postgresql.org/git/postgresql.git $dir"; echo "pre_update = git checkout $branch"; echo; done