Open
Description
Currently githubPullRequests.queries
only lets you query against the currently open repos. We could also allow you to query against specific repos or all repos.
Context: #3429 (comment)
Currently githubPullRequests.queries
only lets you query against the currently open repos. We could also allow you to query against specific repos or all repos.
Context: #3429 (comment)