☰

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

Add pull requests link to GitHub User page.

  1. // ==UserScript==
  2. // @name         add-pull-requests-link-to-github-user-page
  3. // @namespace    http://tampermonkey.net/
  4. // @version      0.1
  5. // @description  Add pull requests link to GitHub User page.
  6. // @author       oieioi
  7. // @match        https://github.com/*
  8. // @grant        none
  9. // ==/UserScript==
  10.  
  11. (function() {
  12.     'use strict';
  13.     var userNameDom = document.querySelector('.p-nickname');
  14.     if (!userNameDom) return;
  15.     var userName = userNameDom.textContent;
  16.     var pulls = document.createElement('a');
  17.     pulls.text = 'Pull Requests';
  18.     pulls.href = "/pulls?q=is%3Aclosed+is%3Apr+author%3A"+userName+"&is%3Apublic";
  19.     pulls.classList = 'UnderlineNav-item mr-0 mr-md-1 mr-lg-3 '
  20.     document.querySelector('.UnderlineNav-body').append(pulls)
  21. })();