GitHub Real Names
Use real names on GitHub
Was ist GitHub Real Names?
GitHub Real Names ist eine Chrome-Erweiterung, die von ForbesLindesay entwickelt wurde, und ihr Hauptmerkmal ist "Use real names on GitHub".
Erweiterungsscreenshots
GitHub Real Names-Erweiterungs-CRX-Datei herunterladen
Laden Sie GitHub Real Names-Erweiterungsdateien im crx-Format herunter, installieren Sie Chrome-Erweiterungen manuell im Browser oder teilen Sie die crx-Dateien mit Freunden, um Chrome-Erweiterungen einfach zu installieren.
Anleitung zur Verwendung der Erweiterung
Adds a button to let you toggle real names vs. usernames in GitHub. Grundlegende Informationen zur Erweiterung
| Name | |
| ID | edfnfekndkopmlejjmlplpceflfldoae |
| Offizielle URL | https://chromewebstore.google.com/detail/github-real-names/edfnfekndkopmlejjmlplpceflfldoae |
| Beschreibung | Use real names on GitHub |
| Dateigröße | 38.66 KB |
| Installationsanzahl | 633 |
| Aktuelle Version | 1.3.1 |
| Letztes Update | 2020-08-19 |
| Veröffentlichungsdatum | 2018-03-26 |
| Bewertung | 3.60/5 Insgesamt 10 Bewertungen |
| Entwickler | ForbesLindesay |
| [email protected] | |
| Zahlungsart | free |
| Unterstützte Sprachen | 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
} | |