Better GitHub Pull Requests JS - Improves the GitHub Pull Request UI and adds several features. "Better PRs" Author Douglas Krahmer Daily installs 0 Total installs 32 Ratings 0 0 0 Created 2022-04-06 Updated 2022-04-06
