GitHub PR Info Copier
Developer Tools
Quick copy GitHub PR information with CMD+Shift+o or a button next to the PR title
- Store users
- 4
- Ratings
- Not rated yet
Max
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.