← All developers

stephen.lindauer

[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 Enhancements

Improves the PR list page on GitHub with better indicators of PR status.

No ratings— users

Developer Tools