Fetch before Merge and push the squash commit to origin

2026-10-14 22:45:02 -07:00
parent 4ffdc1e517
commit 8825d38695
17 changed files with 352 additions and 120 deletions
@@ -615,7 +615,7 @@ function renderEvent(ev, ctx) {
        case "task.merge_title":
            return h("div", { class: "note" }, `${ev.actor} set the merge commit title to "${String(p["merge_title"])}" `, when);
        case "task.merged":
-            return h("div", { class: "note" }, `${ev.actor} merged the task${p["commit"] ? ` as ${String(p["commit"]).slice(0, 7)}` : ""} `, when);
+            return h("div", { class: "note" }, `${ev.actor} merged the task${p["commit"] ? ` as ${String(p["commit"]).slice(0, 7)}` : ""}${p["pushed"] ? ` and pushed it to ${String(p["pushed"])}` : ""} `, when);
        case "task.discarded":
            return h("div", { class: "note" }, `${ev.actor} discarded the task `, when);
    }