update for gitea location (#79343)

2023-07-04 09:48:07 +02:00 · 2023-07-04 09:48:07 +02:00 · c87dd08671
parent a81d75b539
commit c87dd08671
1 changed files with 1 additions and 1 deletions
--- 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