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.
Prerequisites
Section titled “Prerequisites”- lazybox is running (see the Quickstart).
gh auth loginhas been run, sogh auth tokenresolves a token with access to the repository.
Add the repo
Section titled “Add the repo”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.
Press , to open the settings palette, then choose the option to add a
repository and enter its owner/name. lazybox begins polling it (default
every 60 seconds) and your PRs and issues appear in the sidebar, grouped
under that repo.
A repo group can be folded or unfolded with Space on the group row.
Filter by your role
Section titled “Filter by your role”Once rows arrive, you usually don’t want all of them at once. From the sidebar:
- Press
fto 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
oto 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.
Verify
Section titled “Verify”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.
Related
Section titled “Related”- Configure polling and other per-repo behaviour in the configuration reference.
- Then run an agent per workspace on one of the rows.
- With multiple repo groups active, coordinate selected agents across them from one broadcast.