Rehost Fossil because the official site deletes older tartifacts

mtkennerly · Apr 27, 2021 · a1a0981 · a1a0981
1 parent 01f2540
commit a1a0981
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -52,7 +52,10 @@ jobs:
       - run: |
           export PATH="$PATH:/opt"
           sudo apt-get install -y darcs bzr
-          curl https://www.fossil-scm.org/home/uv/fossil-linux-x64-2.14.1.tar.gz -o ~/fossil.tgz
+
+          # fossil-linux-x64-2.13.tar.gz, rehosted because the official site deletes older artifacts:
+          pip install gdown
+          gdown --id 1_gBUGKhs_bponRcgpLlukggWPCR25blF -O ~/fossil.tgz
           tar -xvf ~/fossil.tgz -C /opt
 
           git config --global user.name "foo"