Merge issues and PR tabs

Merge the issues and PRs tabs of the repositories in a single one

当前为 2023-02-19 提交的版本，查看最新版本。

换行

// ==UserScript==
// @name        Merge issues and PR tabs
// @namespace   https://deuchnord.fr/#github-merge-pr-issues-tabs
// @match       https://github.com/*/*
// @license     AGPL-v3
// @grant       none
// @version     1.0.0
// @author      Deuchnord
// @description Merge the issues and PRs tabs of the repositories in a single one
// ==/UserScript==

(function () {

  let sumIssPrs = null;

  setInterval(function () {

    let issuesTab = document.getElementById("issues-tab");
    let prsTab = document.getElementById("pull-requests-tab");

    let nIssues = Number(issuesTab.children[2].innerText);
    let nPrs = Number(prsTab.children[2].innerText);

    console.log(nIssues, nPrs);

    if (sumIssPrs == nIssues) {
      return;
    }

    sumIssPrs = nIssues + nPrs;

    let href = new URL(issuesTab.href);

    issuesTab.href = `${href.pathname}?q=is:open`;
    issuesTab.children[1].innerText = "Issues & pull requests";
    issuesTab.children[2].innerText = nIssues + nPrs;

    prsTab.style.display = "none";

    issuesTab.children[2].innerText = sumIssPrs;

  }, 250);

})();