switch to leaseweb mirror because ubuntu upstream, and thus azure, are having trouble

diff --git a/set-ubuntu-mirror/action.yml b/set-ubuntu-mirror/action.yml
index 8263365b3268596cab750b668776908f391333dd..d832513245f04d62d12b2b8e8f678bbf92d1d2af 100644 (file)
--- a/set-ubuntu-mirror/action.yml
+++ b/set-ubuntu-mirror/action.yml
@@ -2,7 +2,7 @@ name: 'choose Ubuntu mirror for PowerDNS builds in Github Actions'
 runs:
   using: "composite"
   steps:
-    - run: echo not changing mirror, using default Azure mirror
-      shell: bash
-    #- run: sudo sed -i 's/azure\.archive\.ubuntu\.com/mirror.leaseweb.net/' /etc/apt/sources.list
+    #- run: echo not changing mirror, using default Azure mirror
     #  shell: bash
+    - run: sudo sed -i 's/azure\.archive\.ubuntu\.com/mirror.leaseweb.net/' /etc/apt/sources.list
+      shell: bash