GitHub Username Highlighter

Extension Developer Tools2 users

Item media 1 (screenshot) for GitHub Username Highlighter

Overview

Highlight arbitrary usernames on the GitHub merge queue

Ever wanted your teammates's usernames to be highlighted on the GitHub merge queue like your own name? No? Well, now you can so whatever.

0 out of 5
No ratings
Google doesn't verify reviews. Learn more about results and reviews.

Details

Version
1.0.0
Updated
August 2, 2024
Flag concern
Offered by
Mike Crittenden
Size
92.15KiB
Languages
English
Developer
Email
mikecrittenden@gmail.com
Non-trader
This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data.

This developer declares that your data is

Not being sold to third parties, outside of the approved use cases
Not being used or transferred for purposes that are unrelated to the item's core functionality
Not being used or transferred to determine creditworthiness or for lending purposes

You might also like…

Refined GitHub

4.8(238)

Simplifies the GitHub interface and adds useful features

GitHub Better Line Counts

5.0(5)

Remove generated files from GitHub line counts

GitHub Account Switcher

4.7(14)

A convenient extension that enables users to seamlessly switch between multiple GitHub accounts.

GitHub Web IDE

4.7(23)

Open GitHub repositories in online web IDE

Google apps