sindresorhus/refined-github
The issue has been solved
Hide irrelevant issue/PR filters #2016
FloEdelmann posted onGitHub
In a repo's issue/PR list, some filters are irrelevant for specific repos:
- Labels if there are no labels in the repo
- Projects if there are no projects in the repo
- Milestones if there are no milestones in the repo
- Status if there is no CI in the repo
These filter buttons can be hidden to unclutter the UI (and maybe make space for more useful features).
Fund this Issue
Rewarded pull request
Cleanup issue and PR filters #2114submitted bynotlmn(138)
Click to copy link
Recent activities