chore: point to toolset migration

2026-07-20 16:44:42 +02:00
parent 1ed0d9667d
commit 9bb1977805
17 changed files with 1645 additions and 374 deletions
@@ -0,0 +1,10 @@
+# pick — migrated
+
+The canonical `pick` 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"
+```