← All developers

tg0825

[email protected]

1

Extensions

0

Total Users

—

Avg Rating

1

Categories

Developer Tools

Extensions (1)

Most Users Highest Rated Name A-Z Recently Updated

GitHub PR Quick Edit

Adds a direct Edit button on GitHub PR pages.

No ratings— users

Developer Tools