Github ID prefix in title

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

이 스크립트를 설치하려면 Tampermonkey, Greasemonkey 또는 Violentmonkey와 같은 확장 프로그램이 필요합니다.

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

이 스크립트를 설치하려면 Tampermonkey 또는 Violentmonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey 또는 Userscripts와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 Tampermonkey와 같은 확장 프로그램이 필요합니다.

이 스크립트를 설치하려면 유저 스크립트 관리자 확장 프로그램이 필요합니다.

(이미 유저 스크립트 관리자가 설치되어 있습니다. 설치를 진행합니다!)

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 Stylus와 같은 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

이 스타일을 설치하려면 유저 스타일 관리자 확장 프로그램이 필요합니다.

(이미 유저 스타일 관리자가 설치되어 있습니다. 설치를 진행합니다!)

// ==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;
    }
})();