GitHub repository: JoshuaKGoldberg/github-search-extension
Description: quick search to get at PRs by time frame or author