mirror of
https://github.com/gitui-org/gitui
synced 2026-05-23 08:58:21 +00:00
fix logging
This commit is contained in:
parent
40e9194b5d
commit
726928b7ba
1 changed files with 1 additions and 1 deletions
|
|
@ -9,7 +9,7 @@ pub fn amend(
|
|||
id: CommitId,
|
||||
msg: &str,
|
||||
) -> Result<CommitId> {
|
||||
scope_time!("commit");
|
||||
scope_time!("amend");
|
||||
|
||||
let repo = repo(repo_path)?;
|
||||
let commit = repo.find_commit(id.into())?;
|
||||
|
|
|
|||
Loading…
Reference in a new issue