Yehowshua/ZIm
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Remove git repos from worktree when deleted on storage

Browse source 
Co-Authored-By: Mikayla Maki <mikayla@zed.dev>
This commit is contained in:
Julia 2022-09-27 14:07:53 -04:00
parent 4251e0f5f1
commit d2b18790a0
2 changed files with 50 additions and 20 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/project/src/git_repository.rs
View file

@ -56,7 +56,7 @@ impl GitRepository {
self.last_scan_id = scan_id;
}
pub fn with_repo(&mut self, f: Box<dyn FnOnce(&mut git2::Repository)>) {
pub fn with_repo<F: FnOnce(&mut git2::Repository)>(&mut self, f: F) {
let mut git2 = self.libgit_repository.lock();
f(&mut git2)
}