Skip to content

Add a repo

Goal: bring a GitHub repository’s pull requests and issues into the inbox, then narrow the list to the rows that matter to you.

  • lazybox is running (see the Quickstart).
  • gh auth login has been run, so gh auth token resolves a token with access to the repository.

You can add a repo in two ways, depending on where you are.

On the very first launch the setup wizard walks you through adding your first repository. Follow the prompts; lazybox starts polling it immediately.

A repo group can be folded or unfolded with Space on the group row.

Once rows arrive, you usually don’t want all of them at once. From the sidebar:

  • Press f to open the filter menu — a multi-select over state, role, and kind predicates (unread, CI-failing, with-agent, author, reviewer, assignee, mentioned, PR/issue, …), each shown with a live match count. Toggle predicates and confirm; active filters appear as removable chips in the sidebar header.
  • Press o to cycle the sort order: recent → by-role → split.

So to see only the PRs where you’ve been asked to review, press f, toggle the reviewer predicate, and press Enter. Press Shift-R at any time to force a manual refresh instead of waiting for the next poll.

You should now see the repository’s rows in the sidebar with unread markers on items that have new activity. Selecting a row populates the activity pane on the right.