pub async fn reset_head(
mut_repo: &mut MutableRepo,
workspace_name: &WorkspaceName,
workspace_root: &Path,
wc_commit: &Commit,
) -> Result<(), GitResetHeadError>Expand description
Sets Git HEAD to the parent of the given working-copy commit and resets the Git index.