Github JumpTo
Developer Tools
Quickly jump to any page in a Github repository with a easy search interface.
- Store users
- 12
- Ratings
- 5.0/ 5 4 ratings
2 listings we've seen · as of 4 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.
GitHub PR Visual Editor
Developer Tools
Makes GitHub PR preview mode editable — click checkboxes, edit text inline, and submit directly from preview.
- Store users
- 4
- Ratings
- Not rated yet