[Github] User-mention to profile page

Changes the user-mention URL to the user's profile page

Устаревшая версия за 22.07.2021. Перейдите к последней версии.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey, Greasemonkey или Violentmonkey.

Для установки этого скрипта вам необходимо установить расширение, такое как Tampermonkey.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey или Violentmonkey.

Чтобы установить этот скрипт, вы сначала должны установить расширение браузера, например Tampermonkey или Userscripts.

Чтобы установить этот скрипт, сначала вы должны установить расширение браузера, например Tampermonkey.

Чтобы установить этот скрипт, вы должны установить расширение — менеджер скриптов.

(у меня уже есть менеджер скриптов, дайте мне установить скрипт!)

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение браузера, например Stylus.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

Чтобы установить этот стиль, сначала вы должны установить расширение — менеджер стилей.

(у меня уже есть менеджер стилей, дайте мне установить скрипт!)

// ==UserScript==
// @name        [Github] User-mention to profile page
// @namespace   HKR
// @match       https://github.com/*
// @grant       none
// @version     1.0
// @author      HKR
// @description Changes the user-mention URL to the user's profile page
// ==/UserScript==

document.addEventListener('readystatechange', event => { 
    if (event.target.readyState === "complete") {
        var mentions = document.getElementsByClassName("commit-author user-mention");

        for (var i = 0; i < mentions.length; i++) {
            var username = mentions[i].getAttribute("href");
            username = username.substring(username.indexOf('='));
            username = username.substring(1);

            if(!username.includes('/') && !username.includes('.'))
                var user_url = "https://github.com/" + username;
            else 
                var user_url = "none";

            if(user_url != "none") {
                 mentions[i].setAttribute("href", user_url);
            }
        }
    }
});