Show a merge's push to the remote while it runs

2026-10-21 19:42:28 -07:00
parent f57741f33d
commit 447e07861e
6 changed files with 374 additions and 364 deletions
@@ -965,6 +965,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)")")], .ok)

+        case "task.pushing":
+            return note([.text("pushing \(jsString(p["commit"]).prefix(7)) to \(jsString(p["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")])