Search for a command to run...
Public pull requests authored across GitHub, fetched from the REST Search API and cached with ISR. Open PRs, merged PRs, and closed unmerged PRs are labeled explicitly.