GitHub Mention Highlighter
Highlight user and team mentions on GitHub
What is GitHub Mention Highlighter?
GitHub Mention Highlighter is a Chrome extension developed by Ben Balter, and its main feature is "Highlight user and team mentions on GitHub".
Extension Screenshots
Download GitHub Mention Highlighter Extension CRX File
Download GitHub Mention Highlighter extension files in crx format, manually install Chrome extensions in the browser, or share the crx files with friends to easily install Chrome extensions.
Extension Usage Instructions
This Chrome extension automatically highlights any time you are mentioned on a GitHub issue or pull request thread by highlighting your username, any team your a member of, and the border of any containing comment.
Extension Basic Information
Name | GitHub Mention Highlighter |
ID | ojclbekffnkgbacniibdebdihhgenlkp |
Official URL | https://chromewebstore.google.com/detail/github-mention-highlighte/ojclbekffnkgbacniibdebdihhgenlkp |
Description | Highlight user and team mentions on GitHub |
File Size | 201 KB |
Installation Count | 278 |
Current Version | 0.2.1 |
Last Updated | 2020-02-05 |
Publish Date | 2020-02-05 |
Rating | 5.00/5 Total 1 Ratings |
Developer | Ben Balter |
Payment Type | free |
Extension Website | https://github.com/benbalter/github-mention-highlighter |
Help Page URL | https://github.com/benbalter/github-mention-highlighter/issues |
Supported Languages | en-US |
manifest.json | |
{ "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx", "name": "GitHub Mention Highlighter", "version": "0.2.1", "description": "Highlight user and team mentions on GitHub", "permissions": [ "https:\/\/github.com\/*", "https:\/\/*.githubapp.com\/*", "https:\/\/mail.google.com\/*", "storage" ], "content_scripts": [ { "matches": [ "https:\/\/github.com\/*", "https:\/\/*.githubapp.com\/*", "https:\/\/mail.google.com\/*" ], "js": [ "vendor\/jquery\/dist\/jquery.js", "dist\/script.js" ], "css": [ "dist\/style.css" ] } ], "icons": { "16": "img\/icon-16.png", "48": "img\/icon-48.png", "128": "img\/icon-128.png" }, "manifest_version": 2, "options_page": "dist\/options.html", "options_ui": { "page": "dist\/options.html", "chrome_style": true } } |