The Wayback Machine - https://web.archive.org/web/20220406231940/https://github.com/topics/userstyle
Skip to content
#

userstyle

Star

Here are 320 public repositories matching this topic...

Language: All
Filter by language
All 320 CSS 267 JavaScript 17 Stylus 8 SCSS 7 TypeScript 3 HTML 2 Rust 2 Jinja 1 Java 1 Less 1
Sort: Best match
Sort options
Best match Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated
refined-github

refined-github / refined-github

Star 17.5k
Open

Automatically redirect pull requests search with "is:pr" to issues

1
asmeurer
asmeurer commented Apr 4, 2022

Description

If you search on the pull requests page and delete the "is:pr" from the search, it doesn't include issues. But if you do the same on the issues page and remove "is:issue", it does include pull requests. For example:

Read more
enhancement help wanted under discussion good first issue
Find more good first issues

Improve this page

Add a description, image, and links to the userstyle topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the userstyle topic, visit your repo's landing page and select "manage topics."

Learn more