Gitpod GmbH
1 extension 40,000 users in all First published 1 Jun 2018
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 |
|---|---|---|---|---|---|
| Ona | Developer Tools | 40,000 | 4.85 | 3 Aug 2026 | Live |