ci: use github.com instead of gitlab.gnome.org

because the gnome infrastructure has been unstable and it's not obvious that the gnome infrastructure team is working on it
sparklemotion · Nov 18, 2024 · 7159ae1 · 7159ae1
1 parent e8d30a7
commit 7159ae1
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/upstream.yml b/.github/workflows/upstream.yml
@@ -42,7 +42,7 @@ jobs:
           NOCONFIGURE: t
         shell: bash
         run: |
-          git clone --depth=1 https://gitlab.gnome.org/GNOME/libxml2
+          git clone --depth=1 https://github.com/gnome/libxml2
           cd libxml2
           git log -n1
           ./autogen.sh
@@ -51,7 +51,7 @@ jobs:
           NOCONFIGURE: t
         shell: bash
         run: |
-          git clone --depth=1 https://gitlab.gnome.org/GNOME/libxslt
+          git clone --depth=1 https://github.com/gnome/libxslt
           cd libxslt
           git log -n1
           ./autogen.sh
@@ -72,15 +72,15 @@ jobs:
         env:
           NOCONFIGURE: t
         run: |
-          git clone --depth=1 https://gitlab.gnome.org/GNOME/libxml2
+          git clone --depth=1 https://github.com/gnome/libxml2
           cd libxml2
           git log -n1
           ./autogen.sh
       - name: Setup libxslt
         env:
           NOCONFIGURE: t
         run: |
-          git clone --depth=1 https://gitlab.gnome.org/GNOME/libxslt
+          git clone --depth=1 https://github.com/gnome/libxslt
           cd libxslt
           git log -n1
           ./autogen.sh