mirror of
https://github.com/gitui-org/gitui.git
synced 2026-10-12 02:14:16 +00:00
try speeding up status (see #156)
This commit is contained in:
@@ -97,6 +97,7 @@ pub fn get_status(
|
||||
let statuses = repo.statuses(Some(
|
||||
StatusOptions::default()
|
||||
.show(status_type.into())
|
||||
.update_index(true)
|
||||
.include_untracked(include_untracked)
|
||||
.renames_head_to_index(true)
|
||||
.recurse_untracked_dirs(true),
|
||||
|
||||
Reference in New Issue
Block a user