mirror of
https://github.com/zed-industries/zed.git
synced 2024-11-07 20:39:04 +03:00
Update is_deleted when sending new repositories
This commit is contained in:
parent
191ac86f09
commit
5accf7cf4e
@ -2471,12 +2471,14 @@ impl Database {
|
|||||||
.update_columns([
|
.update_columns([
|
||||||
worktree_repository_statuses::Column::ScanId,
|
worktree_repository_statuses::Column::ScanId,
|
||||||
worktree_repository_statuses::Column::Status,
|
worktree_repository_statuses::Column::Status,
|
||||||
|
worktree_repository_statuses::Column::IsDeleted,
|
||||||
])
|
])
|
||||||
.to_owned(),
|
.to_owned(),
|
||||||
)
|
)
|
||||||
.exec(&*tx)
|
.exec(&*tx)
|
||||||
.await?;
|
.await?;
|
||||||
}
|
}
|
||||||
|
|
||||||
if !repository.removed_worktree_repo_paths.is_empty() {
|
if !repository.removed_worktree_repo_paths.is_empty() {
|
||||||
worktree_repository_statuses::Entity::update_many()
|
worktree_repository_statuses::Entity::update_many()
|
||||||
.filter(
|
.filter(
|
||||||
|
Loading…
Reference in New Issue
Block a user