GitHub CLI has, for sometime, the search argument, in which you can search repositories. This would be a great addition to this extension.