Thanks! Two thoughts:

- if this port is happening on a single machine, you are better off with work trees. You can reuse worktrees if creating a new one is expensive. https://github.com/satococoa/git-worktreeinclude can help you initing work trees smooth

- If you want the system scale on the cloud with many many VMs doing work on the repo and repo is large enough that lazy-mount gives you meaningful perf benefits, yes definitely. It can be useful. Note that if the repo is private, you will need to configure sgrep's code search backend to be reachable from the microVMs