Open
Description
Feature or enhancement
Proposal:
Currently there's no way to find an issue without a pull request, you have to click on every issue.
Would a "needs PR" label for issues without an open or merged pull request (closed doesn't count) help?
And to opt out for meta-issues, you could add "[META]" to the issue title.
Has this already been discussed elsewhere?
This is a minor feature, which does not need previous discussion elsewhere
Links to previous discussion of this feature:
No response
Metadata
Metadata
Assignees
Labels
Issues related to GitHub label changesIssues related to GitHub label changes