GitHub PR Quick Edit
Developer Tools
Adds a direct Edit button on GitHub PR pages.
- Store users
- 3
- Ratings
- Not rated yet
tg0825
1 listing we've seen · as of 4 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 4 Oct 2026. This is the maker name shown on the store, not proof of who owns the company.
Developer Tools
Adds a direct Edit button on GitHub PR pages.