11 PR And Issue Tickets Maintenance
Brian edited this page 2024-06-18 22:21:28 +10:00

Useful PR Filters

PRs for those who want to help

PRs for those who want to merge

Using CI Status Filters

  • status:success Only pull requests with all successful statuses
  • status:failure Only pull requests that have statuses in the failure or error state
  • status:pending Only pull requests with no statuses or at least one status in the pending state

https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-commit-status