From 9dbab1fbc95b738780a9bb8dbb8f55d14c168a9e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= Date: Fri, 14 Apr 2023 14:07:03 +0200 Subject: [PATCH] ci: update wcs git URI for gitea (#76647) --- get_wcs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/get_wcs.sh b/get_wcs.sh index 685b4064..4ffdf1cb 100755 --- a/get_wcs.sh +++ b/get_wcs.sh @@ -1,4 +1,4 @@ #!/bin/sh -ue -test -d wcs || git clone https://git.entrouvert.org/wcs.git +test -d wcs || git clone https://git.entrouvert.org/entrouvert/wcs.git (cd wcs && git pull)