Turn Github Branch names into links

branches-into-links.user.js

// ==UserScript==
// @name        Turn Github Branch names into links
// @namespace   maurizi.org
// @include     https://github.com/*
// @version     1
// @grant       none
// ==/UserScript==
var i;
var elems = document.querySelectorAll('.commit-ref.current-branch');

for (i = 0; i < elems.length; ++i) {
  var elem = elems[i];
  var contents = elem.innerHTML;
  var target = elem.title;
  var url = '/' + target.replace(':', '/tree/');
  elem.innerHTML = '<a href="' + url + '">' + contents + '</a>';
};