Better GitHub
Developer Tools
Improve usability of GitHub PR, issue, and other pages
- Store users
- 962
- Ratings
- 5.0/ 5 1 rating
shawn
1 listing we've seen · as of 2 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.
1 listing we've seen · as of 2 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.
Developer Tools
Improve usability of GitHub PR, issue, and other pages