pause deploying to ovh

OVH is unavailable, not worth trying to deploy right now

Author: minrk

.github/workflows/cd.yml

@@ -222,9 +222,10 @@ jobs:
             helm_version: ""
             experimental: false
 
-          - federation_member: ovh2
-            helm_version: ""
-            experimental: false
+          # OVH deployment paused
+          # - federation_member: ovh2
+          #   helm_version: ""
+          #   experimental: false
 
     # These permissions are needed to interact with GitHub's OIDC Token endpoint.
     permissions:

config/prod.yaml

@@ -237,7 +237,7 @@ federationRedirect:
     ovh2:
       prime: false
       url: https://ovh2.mybinder.org
-      weight: 60
+      weight: 0
       health: https://ovh2.mybinder.org/health
       versions: https://ovh2.mybinder.org/versions
     curvenote: