← All developers

happy-dev

[email protected]

1

Extensions

4

Total Users

—

Avg Rating

1

Categories

Developer Tools

Extensions (1)

Most Users Highest Rated Name A-Z Recently Updated

GitHub Tabs

Consolidate all GitHub tabs into the current window, deduplicate, and sort.

No ratings4 users

Developer Tools