mirror of
https://github.com/zed-industries/zed.git
synced 2025-02-06 18:46:49 +00:00
The former always adds a worktree, even if we have one already in the project and that could be misused. The public API should always search for a local worktree containing the requested path first so that the project can uphold invariants about which worktrees it has. |
||
---|---|---|
.. | ||
project_panel.rs |