records

This page shows GitHub issues in a simple form.

The filter box above accepts a set of filters, each separated by space.

You can also type /local to reload the file, or /remote <user> <repo> to load a new set of issues from GitHub (only works online). You can /sort on id or recent.

ID Title State User Assignee Labels