Extensions by Mike Crittenden

Shortkeys (Custom Keyboard Shortcuts)

🧩 More extensions

Custom keyboard shortcuts for your browser

Bufo LGTM

🧑‍💻 Developer Tools

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

GitHub Username Highlighter

🧑‍💻 Developer Tools

Highlight arbitrary usernames on the GitHub merge queue