[redacted]
1 extension 0 users in all First published 12 Nov 2026
Extensions are grouped by the store's own publisher account ID, so a developer who uses several accounts appears on several pages. Live extensions come first, most users first.
| Extension | Category | Users | Rating | Updated | Status |
|---|---|---|---|---|---|
| GitHub PR Tracker | Developer Tools | – | – | 12 Nov 2026 | Live |