subject:"\[PATCH\] .gitmodules\: switch to HTTPS"

Re: [PATCH] .gitmodules: switch to HTTPS

2023-09-07 Thread Paul Eggert

Thanks, I installed that.

[PATCH] .gitmodules: switch to HTTPS

2023-09-07 Thread Markus Mayer

HTTPS is not only encrypted but also better suited for corporate firewalls. Let's use it to clone submodules. Signed-off-by: Markus Mayer --- .gitmodules | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index 1dc373de8e2c..a06c70c762a3 100644 ---