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

screenshot

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 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
    }
}