From f742d44353246f5b0a446127d192123d00997521 Mon Sep 17 00:00:00 2001
From: Clark Boylan <clark.boylan@gmail.com>
Date: Fri, 10 Apr 2026 08:23:09 -0700
Subject: [PATCH] Temporarily disable ovh gra1 while we fix its mirror

DNS for a new mirror got updated before the new mirror was configured by
ansible. Disable the region while we fix things.

Change-Id: Ie60d558cc1ee9bfd0f18b54ed8fd32053a014aa4
---
 zuul.d/providers.yaml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/zuul.d/providers.yaml b/zuul.d/providers.yaml
index 382f9e5..229c9a3 100644
--- a/zuul.d/providers.yaml
+++ b/zuul.d/providers.yaml
@@ -512,6 +512,9 @@
     name: ovh-gra1
     parent: ovh-base
     region: GRA1
+    # Temporarily disabled while we fix the mirror situation.
+    resource-limits:
+      instances: 0
 
 - provider:
     name: ovh-gra1-main