From c87dd08671cfc9da6dc942da7ab6716eb574c657 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Tue, 4 Jul 2023 09:48:07 +0200 Subject: [PATCH] update for gitea location (#79343) --- publish.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/publish.py b/publish.py index d764e8e..3ea950f 100755 --- a/publish.py +++ b/publish.py @@ -29,7 +29,7 @@ def checkout(module): kws['stderr'] = subprocess.STDOUT if not os.path.exists(checkout_dir): # full clone - cmd = ['git', 'clone', 'http://repos.entrouvert.org/%s.git' % module] + cmd = ['git', 'clone', 'https://git.entrouvert.org/entrouvert/%s.git' % module] kws['cwd'] = checkouts_directory else: # pull