ci: update wcs git URI for gitea (#76647) #205

Merged
bdauvergne merged 1 commits from wip/76647-wcs-git-uri into main 2023-04-14 15:25:59 +02:00
1 changed files with 1 additions and 1 deletions

View File

@ -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)