Ignore runs/ wholesale; it becomes its own repository

[varunursekar]

Two lines. runs/ (run artefacts, write-ups, analysis code, operator tooling) is now a separate repository, git plus DVC, nested under this one. vero used to track runs/.gitignore to keep the directory out; a directory's .gitignore outranks anything the nested repository can say, so the rule moves to the root .gitignore and vero stops tracking that file.

No code or test changes.

🤖 Generated with Claude Code

Confidence Score: 4/5

The ownership change appears safe to merge, with a non-blocking documentation gap for setting up the nested repository.

Summary

• Adds a root-level ignore rule for runs/.
• Removes the formerly tracked placeholder runs/.gitignore.
• Leaves the nested repository's acquisition and initialization undocumented despite existing workflow references to its contents.

_{Reviews (1) · Last reviewed commit: "Ignore runs/ wholesale; it is its own re..."}