GitHub Real Names

Use real names on GitHub

Wat is GitHub Real Names?

GitHub Real Names is een Chrome-extensie ontwikkeld door ForbesLindesay, en de belangrijkste functie is "Use real names on GitHub".

Extensie Screenshots

screenshot

Download het CRX-bestand van de extensie GitHub Real Names

Download GitHub Real Names-extensiebestanden in crx-indeling, installeer Chrome-extensies handmatig in de browser of deel de crx-bestanden met vrienden om Chrome-extensies eenvoudig te installeren.

Instructies voor het Gebruik van de Extensie

                        Adds a button to let you toggle real names vs. usernames in GitHub.                    

Basisinformatie over de Extensie

Naam GitHub Real Names GitHub Real Names
ID edfnfekndkopmlejjmlplpceflfldoae
Officiële URL https://chromewebstore.google.com/detail/github-real-names/edfnfekndkopmlejjmlplpceflfldoae
Beschrijving Use real names on GitHub
Bestandsgrootte 38.66 KB
Aantal Installaties 633
Huidige Versie 1.3.1
Laatst Bijgewerkt 2020-08-19
Publicatiedatum 2018-03-26
Beoordeling 3.60/5 Totaal 10 Beoordelingen
Ontwikkelaar ForbesLindesay
E-mail [email protected]
Betalingswijze free
Ondersteunde Talen en-GB
manifest.json
{
    "update_url": "https:\/\/clients2.google.com\/service\/update2\/crx",
    "name": "GitHub Real Names",
    "description": "Use real names on GitHub",
    "icons": {
        "16": "icon.png",
        "48": "icon.png",
        "128": "icon.png"
    },
    "version": "1.3.1",
    "background": {
        "scripts": [
            "background.js"
        ],
        "persistent": false
    },
    "browser_action": {
        "default_icon": "icon.png",
        "default_title": "Toggle using real GitHub real names"
    },
    "content_scripts": [
        {
            "matches": [
                "https:\/\/github.com\/*"
            ],
            "js": [
                "contentscript.js"
            ],
            "run_at": "document_idle",
            "all_frames": false
        }
    ],
    "manifest_version": 2
}