aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authoralexpdp7 <alex@pdp7.net>2026-01-23 19:24:30 +0100
committeralexpdp7 <alex@corcoles.net>2026-01-23 18:24:58 +0000
commit47f97ef578023ee93be05e609aa030e321679928 (patch)
treefdc264bb654b5daf1ca913f397f68386888e3342
parent349becf9bf42c6803019125de0881c2e3d0cb832 (diff)
Add Git repository migration tool
-rw-r--r--IDEAS.org1
1 files changed, 1 insertions, 0 deletions
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.