Nav to github issue
Developer Tools
Quickly jump to GitHub issues by typing 'i <issue_number>'. Set up your github organization and repo name in options first.
- Store users
- 15
- Ratings
- 5.0/ 5 1 rating
1 listing we've seen · as of 6 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.