noPR: Filter GitHub Issues with(out) Linked PR per Shashank Shekhar

Working with open source projects often requires identifying which issues have associated pull requests and which don't, to avoid multiple people working on the same issue. Github supports this filtering with the linked:pr search syntax, but it can be cumbersome to remember and type out each time. This extension makes that task easy with a simple dropdown filter in the GitHub issues toolbar.