add-pull-requests-link-to-github-user-page

Add pull requests link to GitHub User page.

Version au 24/05/2020. Voir la dernière version.

Poser une question, écrire un avis, ou signaler le script.

Enveloppe les lignes

// ==UserScript==
// @name         add-pull-requests-link-to-github-user-page
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  Add pull requests link to GitHub User page.
// @author       oieioi
// @match        https://github.com/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';
    var userNameDom = document.querySelector('.p-nickname');
    if (!userNameDom) return;
    var userName = userNameDom.textContent;
    var pulls = document.createElement('a');
    pulls.text = 'Pull Requests';
    pulls.href = "/pulls?q=is%3Aclosed+is%3Apr+author%3A"+userName+"&is%3Apublic";
    pulls.classList = 'UnderlineNav-item mr-0 mr-md-1 mr-lg-3 '
    document.querySelector('.UnderlineNav-body').append(pulls)
})();