A bookmarklet to go from github.com/user/repo to circleci.com/gh/user/repo

github-to-circleci-bookmarklet.js

javascript: 
var url = location.href;
if (url.match(/https:\/\/github.com\//)) {     
    var baseRemoved = url.replace('https://github.com/', '');
    var components = baseRemoved.split('/');
    if (components.length >= 2) {         
        var account = components[0];
        var repo = components[1];
        var newURL = "https://circleci.com/gh/" + account + "/" + repo;
        location.href = newURL;
    } 
}