Github ID prefix in title

change "title" to "25: title", where 25 is the id of the PR/issue

スクリプトをインストールするには、Tampermonkey, GreasemonkeyViolentmonkey のような拡張機能のインストールが必要です。

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

スクリプトをインストールするには、TampermonkeyViolentmonkey のような拡張機能のインストールが必要です。

スクリプトをインストールするには、TampermonkeyUserscripts のような拡張機能のインストールが必要です。

このスクリプトをインストールするには、Tampermonkeyなどの拡張機能をインストールする必要があります。

このスクリプトをインストールするには、ユーザースクリプト管理ツールの拡張機能をインストールする必要があります。

(ユーザースクリプト管理ツールは設定済みなのでインストール!)

このスタイルをインストールするには、Stylusなどの拡張機能をインストールする必要があります。

このスタイルをインストールするには、Stylus などの拡張機能をインストールする必要があります。

このスタイルをインストールするには、Stylus tなどの拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

このスタイルをインストールするには、ユーザースタイル管理用の拡張機能をインストールする必要があります。

(ユーザースタイル管理ツールは設定済みなのでインストール!)

このスクリプトの質問や評価の投稿はこちら通報はこちらへお寄せください
// ==UserScript==
// @name         Github ID prefix in title
// @namespace    http://tampermonkey.net/
// @version      0.1
// @description  change "title" to "25: title", where 25 is the id of the PR/issue
// @author       alan
// @match        https://github.com/*
// @grant        none
// ==/UserScript==

(function() {
    'use strict';
    // Your code here...
    var url = window.location.href;
    var path_frag = url.split('#');
    var path = path_frag[0];
    var parts = path.split('/');
    if (parts[parts.length-2] == "issues" || parts[parts.length-2] == "pull") {
        var id = parts[parts.length-1];
        var base_title = document.title;
        document.title = id + ": " + base_title;
    }
})();