From a3e0988b13deb711de8a746e863e0753092f95b3 Mon Sep 17 00:00:00 2001
From: Marien Zwart <marien.zwart@gmail.com>
Date: Thu, 1 Aug 2024 21:59:16 +1000
Subject: [PATCH] Force full clone for repo.or.cz

CI is failing to fetch d0cb221502c9e104b6e3c358128b28761ffddb55 from
https://repo.or.cz/org-contacts.git, but that commit looks to be there.
---
 fetch-overrides.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/fetch-overrides.nix b/fetch-overrides.nix
index 0b08d8f..a7ba864 100644
--- a/fetch-overrides.nix
+++ b/fetch-overrides.nix
@@ -51,5 +51,6 @@
       "https://git.sr.ht/"
       "https://codeberg.org/"
       "https://gitlab.com/"
+      "https://repo.or.cz/"
   ];
 }