This page shows GitHub issues in a simple form.
The filter box above accepts a set of filters, each separated by space.
- assigned(<string>) - assigned to this user
- author(<string>) - created by this user
- commenter(<string>) - commented on by this user
- reviewer(<string>) - reviewed by this user
- user(<string>) - mentions this user
- closed - is closed
- open - is open
- merged - a merged pull request
- discarded - a discarded pull request
- n(<integer>) - issue by number
- label(<string>) - has a specific label
- labelled - has any label
- title(<string>) - search title with a regular expression
- body(<string>) - search body with a regular expression
- text(<string>) - search title and body with a regular expression
- pr - is a pull request
- issue - is a plain issue, i.e., not(pr)
- or(<filter>, <...filter>) - union
- and(<filter>, <...filter>) - intersection
- xor(<filter>, <...filter>) - for the insane
- not(<filter>) - exclusion
- closed_since(<date>) - issues closed since the date and time
- updated_since(<date>) - issues updated since the date and time
You can /sort on id, recent, or closed.
Pressing enter saves the current search.
Pressing esc leaves the text input area.
Outside the search box
Clicking an issue title displays details for the issue including comments.
Pressing n or j moves to the next issue,
and p or k move to the previous one.
Pressing esc closes the issue view, ' focuses search, and
c clears the search.