zed/crates/workspace at 506ce8e03265356f2ff0f817f6eef938b83c815f - mirrors/zed

mirror of https://github.com/zed-industries/zed.git synced 2024-12-28 11:29:25 +00:00

History

Antonio Scandurra 31dfd01fda Make `add_local_worktree` private and use `find_or_create_local_worktree` 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.	2022-01-22 11:23:00 +01:00
..
src	Make `add_local_worktree` private and use `find_or_create_local_worktree`	2022-01-22 11:23:00 +01:00
Cargo.toml

Antonio Scandurra 31dfd01fda Make add_local_worktree private and use find_or_create_local_worktree

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.

2022-01-22 11:23:00 +01:00

src Make add_local_worktree private and use find_or_create_local_worktree 2022-01-22 11:23:00 +01:00

Cargo.toml