
noPR: Filter GitHub Issues with(out) Linked PR di Shashank Shekhar
Filter GitHub issues based on whether or not they have a linked pull request
Nissun utentNissun utent
Metadâts de estension
Schermadis



Informazions su la estension
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.Valutât 0 di 0 recensôrs
Permès e dâtsPlui informazions
Permès obligatoris:
- Acedi ai dâts utent di github.com
Permès facoltatÎfs:
- Acedi ai dâts utent di github.com
Altris informazions
- Colegaments component adizionâl
- Version
- 1.0
- Dimension
- 20,84 kB
- Ultin inzornament
- il y a 6 mois (29 avr. 2025)
- Categoriis coreladis
- Licence
- Licence MIT
- Cronologjie versions
- Zonte ae racuelte