pub fn write_back(
dir: &Path,
plan: &Plan,
reports: &[FileReport],
) -> Result<(), Box<dyn Error>>Expand description
Write every file’s outcome into the working tree and index at dir:
PROVEN / VERIFIED files are written and staged (a verified DELETE is
removed); a REFUSED file keeps its conflict markers and is put back to
unmerged, so git commit refuses until someone resolves it.