From 1195f498e25d12823bb4e8c6d98cd98ad2096469 Mon Sep 17 00:00:00 2001
From: jkniiv <jkniiv@web>
Date: Thu, 9 Jan 2025 21:16:49 +0000
Subject: [PATCH] repo is probably not technically offline, just out of reach

---
 ...te__47__server__41___main_repository_offline_2025-01-07.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/bugs/__40__site__47__server__41___main_repository_offline_2025-01-07.mdwn b/doc/bugs/__40__site__47__server__41___main_repository_offline_2025-01-07.mdwn
index 010d826aad..f0b5b049bf 100644
--- a/doc/bugs/__40__site__47__server__41___main_repository_offline_2025-01-07.mdwn
+++ b/doc/bugs/__40__site__47__server__41___main_repository_offline_2025-01-07.mdwn
@@ -1,6 +1,6 @@
 ### Please describe the problem.
 
-The main repository `git://git-annex.branchable.com/` seems to be offline at the moment.
+The main repository `git://git-annex.branchable.com/` seems to be out of reach at the moment.
 The mirror `git://git.joeyh.name/git-annex` seems to work.
 
 ### What steps will reproduce the problem?