github-nickname

Add nicknames to GitHub feed and profile pages, configured based on JSON content or remote URL.

Ekde 2026/05/12. Vidu La ĝisdata versio.

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

You will need to install a user style manager extension to install this style.

(I already have a user style manager, let me install it!)

Aŭtoro
fantasticmao
Ratings
0 0 0
Versio
1.3
Kreita
2026/05/12
Ĝisdatigita
2026/05/12
Size
6,1 kb
Licenco
MIT
Aplikiĝas al

github nickname

Add nicknames for users on GitHub feed and profile pages

Preview

github-nickname preview

Configuration

Mode Description Config Entry Example
JSON Mode Enter a JSON string, suitable for a small number of user nicknames Tampermonkey menu -> Config nickname {"torvalds": "Father of Linux"}
URL Mode Enter a URL to a remote JSON file, suitable for many nicknames or teams Tampermonkey menu -> Config nickname https://example.com/nicknames.json

Configuration Steps

Click the Tampermonkey icon in the browser toolbar and select the "Config nickname" menu item

github-nickname usage

In the dialog that appears, enter a JSON string or URL and click OK to save the configuration

github-nickname usage

JSON Format

{
  "username": "nickname",
  "another-username": "another nickname"
}

FAQ

Q: How do I update the nickname configuration?

A: Repeat the configuration steps above to update. JSON mode takes effect immediately, while URL mode fetches the latest configuration on the next page load.

Q: Which GitHub pages are supported?

A: Currently supports the GitHub homepage (feed page) and user profile page (profile page).

Q: Can I use JSON mode and URL mode at the same time?

A: No, you can only choose one mode. Configuring a new mode will automatically clear the previous configuration.