-
-
Notifications
You must be signed in to change notification settings - Fork 654
Open
Description
This would create a copy of the worktree in the toxenvdir. Using git worktree add --detached
+ copying over git ls-files --exclude-standard -m -o
or similar.
This would be an alternative to #21469 (Enable VPATH builds (several independent build trees connected to one source tree))
Component: porting
Issue created by migration from https://trac.sagemath.org/ticket/29416