╭ changed ──────────────╮ │src/ui/Repo/Patches.zig│ ╰───────────────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────╮ │← previous│ ╰──────────╯ ╭────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │934 const drafts_tab_label = "drafts"; │ │935 const conflicts_tab_label = "conflicts"; │ │936 │ │938 -pub fn appendDetails(self: *const Self, allocator: std.mem.Allocator, box: *wgt.Box(ui.Widget), session: *ui.Session, entry: Entry) !void {│ │937 +pub fn appendDetails(_: *const Self, allocator: std.mem.Allocator, box: *wgt.Box(ui.Widget), session: *ui.Session, entry: Entry) !void { │ │938 const aa = session.page_arena.allocator(); │ │939 const status_kind = entry.record.event.status.kind(); │ │940 const target_branch = entry.record.event.target_branch; │ ╰────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │941 │ │942 if (status_kind != .merged and entry.fork_exists) if (session.data.git_ssh_port) |port| { │ │944 - var buffer: [ui.RoutablePage.repo_identity_max_len]u8 = undefined; │ │945 - const url = try aa.print("ssh://localhost:{d}/{s}+{s}", .{ port, try forkIdentity(&buffer, self.identity, entry), entry.id });│ │943 + const url = try aa.print("ssh://localhost:{d}/{s}+{s}", .{ port, entry.fork_identity, entry.id }); │ │944 const push_command = try aa.print("git push {s} HEAD:patch", .{url}); │ │945 const clone_command = try aa.print("git clone {s}", .{url}); │ │946 const merge_command = try aa.print("git fetch '{s}' refs/heads/patch && git merge FETCH_HEAD", .{url}); │ ╰───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭─────────────────────────────────────────────────────────────────╮ │949 - const choices: [3]ui.widget.CopyableText.Choice = .{│ │947 + const choices = [_]ui.widget.CopyableText.Choice{ │ │948 .{ │ │949 .selector = "push", │ │950 .text = push_command, │ ╰─────────────────────────────────────────────────────────────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │964 .label = " merge this patch locally ", │ │965 }, │ │966 }; │ │969 - var copyable_text = try ui.widget.CopyableText.init(allocator, session, &choices, 0); │ │967 + var copyable_text = try ui.widget.CopyableText.init(allocator, session, if (entry.target_deleted) choices[1..] else &choices, 0); │ │968 errdefer copyable_text.deinit(allocator); │ │969 try box.children.put(allocator, copyable_text.getFocus().id, .{ .widget = .{ .copyable_text = copyable_text }, .rect = null, .min_size = null });│ │970 }; │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯