╭ changed ──╮ │src/web.zig│ ╰───────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │343 .remote => |remote| blk: { │ │344 // open the admin repo to read live user/repo data. │ │345 repo_maybe = try rp.Repo(.xit, evt.admin_repo_opts).open(io, allocator, .{ .path = remote.admin_repo_path });│ │346 - var session = try ui.Session.init(&page_arena, &repo_maybe.?, session_data); │ │346 + const repo = if (repo_maybe) |*repo| repo else unreachable; │ │347 + var session = try ui.Session.init(&page_arena, repo, session_data); │ │348 // give the page builders filesystem access to the on-disk repos (a │ │349 // sibling "repos" dir next to the admin repo) so the Repo page can │ │350 // read its files. │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯