Add merge_to_main tool to land work mid-task and keep going

This commit is contained in:
Ian Gulliver
2026-10-18 20:30:51 -07:00
parent 4c2dfb3409
commit 7138877156
5 changed files with 192 additions and 2 deletions
+3
View File
@@ -733,6 +733,9 @@ final class TranscriptBuilder {
let pushed = str(p, "pushed") ?? ""
return note([.text("\(ev.actor) merged the task\(commit.isEmpty ? "" : " as \(commit.prefix(7))")\(pushed.isEmpty ? "" : " and pushed it to \(pushed)")")])
case "task.merged_to_main":
return note([.text("\(ev.actor) merged the work so far as \(jsString(p["commit"]).prefix(7)), \"\(jsString(p["merge_title"]))\", pushed it to \(jsString(p["pushed"])) and kept the task open")])
case "task.summary":
return note([.text("\(ev.actor) set the task summary")])