Improves the GitHub Pull Request UI and adds several features. "Better PRs"
Versión del día 6/4/2022. Echa un vistazo a la versión más reciente.
Aún no se ha publicado ninguna conversación.
Si crees que este script incumple las normas de Greasy Fork, puedes denunciarlo para que otros lo borren.
Inicia sesión para preguntar tus dudas o ponerle nota.
