5 ms·For #4, maybe `git work tree add` could help. The docs give a clear example of how to use it.by kovek 9y agoFor #4, maybe `git work tree add` could help. The docs give a clear example of how to use it.