☰

GitHub custom filters

Adds custom filters to the GitHub pull request search screen.

  • v1 2022-04-19