From b128abec37c919f96190c960d2e855a3503445f7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Sun, 28 May 2023 17:00:01 +0200 Subject: [PATCH] ci: fix wcs git url (#76647) --- get_wcs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/get_wcs.sh b/get_wcs.sh index 016ac59..5157193 100755 --- a/get_wcs.sh +++ b/get_wcs.sh @@ -1,4 +1,4 @@ #!/bin/sh -xue -test -d wcs || git clone https://git.entrouvert.org/gitea/wcs.git +test -d wcs || git clone https://git.entrouvert.org/entrouvert/wcs.git (cd wcs && git pull)