From 47f97ef578023ee93be05e609aa030e321679928 Mon Sep 17 00:00:00 2001
From: alexpdp7 <alex@pdp7.net>
Date: Fri, 23 Jan 2026 19:24:30 +0100
Subject: Add Git repository migration tool

---
 IDEAS.org | 1 +
 1 file changed, 1 insertion(+)

diff --git a/IDEAS.org b/IDEAS.org
index 85e7adc7..17815521 100644
--- a/IDEAS.org
+++ b/IDEAS.org
@@ -130,6 +130,7 @@ The mirror requests /foo to httpd, which returns the gemtext.
 - With documents that allow collaborative editing, meeting participants can edit live
 - Could start with just pdf.js sharing and document location synchronization
 
+* Tool to replace all text files in a repository with a link, to migrate from a Git forge to another place without breaking links
 * Typing database
 
 - A database of keyboard layouts.
-- 
cgit v1.2.3