change "title" to "25: title", where 25 is the id of the PR/issue
// ==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;
}
})();