chore: point to toolset migration

2026-07-20 16:44:42 +02:00
parent d02544fefc
commit 61d1d9da49
48 changed files with 4986 additions and 321 deletions
@@ -0,0 +1,10 @@
+# have — migrated
+
+The canonical `have` agent tool moved to `/opt/repositories/toolset`.
+
+This repository no longer builds or releases an executable. Its Git history is the migration record; source, requirements, tests, installation, and release authority now live in toolset.
+
+```sh
+cd /opt/repositories/toolset
+zig build install-text -p "$HOME/.ink"
+```