diff options
| author | alexpdp7 <alex@pdp7.net> | 2026-01-23 19:24:30 +0100 |
|---|---|---|
| committer | alexpdp7 <alex@corcoles.net> | 2026-01-23 18:24:58 +0000 |
| commit | 47f97ef578023ee93be05e609aa030e321679928 (patch) | |
| tree | fdc264bb654b5daf1ca913f397f68386888e3342 | |
| parent | 349becf9bf42c6803019125de0881c2e3d0cb832 (diff) | |
Add Git repository migration tool
| -rw-r--r-- | IDEAS.org | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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. |
