pub fn post_completion(issue_ref: &IssueRef, summary: &str) -> Result<()>Expand description
Post-run side effects on the issue: comment with the agent’s repair
summary and add the fixed label. Both are best-effort from the
caller’s perspective — on error we return it so the CLI can print
a clear message, but the local fix has already been applied.
Ordering: comment first (the big artifact the user cares about), label second. If the comment succeeds but label add fails, the user at least has the repair record on the issue.