← All developers

Mike Crittenden

[email protected]

3

Extensions

100.0K

Total Users

4.2

Avg Rating

2

Categories

Developer Tools Workflow & Planning

Extensions (3)

Most Users Highest Rated Name A-Z Recently Updated

Shortkeys (Custom Keyboard Shortcuts)

Custom keyboard shortcuts for your browser

Workflow & Planning

Bufo LGTM

Replace GitHub code review icons with Bufo faces, because that's good to do.

Developer Tools

GitHub Username Highlighter

Highlight arbitrary usernames on the GitHub merge queue

No ratings3 users

Developer Tools