╭ changed ───╮ │src/push.zig│ ╰────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭───────────────────────────────────────────────────────────────────────╮ │146 return err; │ │147 }; │ │148 │ │149 + response.progress(writer, "Checking merges...\n") catch {}; │ │150 + pch.refreshMergeability(repo_opts, io, allocator, repo, null);│ │151 try response.finish(writer, null); │ │152 } │ │153 │ ╰───────────────────────────────────────────────────────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────╮ │387 }; │ │388 } │ │389 │ │390 + response.progress(writer, "Checking merges...\n") catch {}; │ │391 + pch.refreshMergeability(repo_opts, io, allocator, target_repo, patch_id);│ │392 + │ │393 // the client may read either repo as soon as it gets the final response.│ │394 try response.finish(writer, null); │ │395 } │ ╰──────────────────────────────────────────────────────────────────────────────────╯