╭ changed ──────╮ │src/ui/Repo.zig│ ╰───────────────╯ ╭───────────╮ │← all files│ ╰───────────╯ ╭──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │246 const users_dir = session.users_dir orelse return error.NoMoment; │ │247 const found = (try evt.readRepoByOwnerAndName(io, arena.child_allocator, arena, haxy_moment, users_dir, repo_identity.owner, repo_identity.name, session.userId())) orelse return error.NotFound;│ │248 // a repo the session can't read doesn't exist to it │ │249 - if (found.role == .none) return error.NotFound; │ │249 + role = found.role orelse return error.NotFound; │ │250 repo = found.repo; │ │251 - role = found.role; │ │251 repo_id_maybe = found.event_id; │ │252 │ │253 // resolve the creating user so the header can show their name to the left │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯