gist.github.com.js

function url2cmd(url) {
    if (!url.match(/^http:\/\/gist\.github\.com\/([0-9]+)/)) {
        pne_url2a(url);
        return;
    }
    var id = RegExp.$1;
    main(id);
}

function main(id) {
    if (!id.match(/^[0-9]+$/)) {
        return;
    }
    var html = '<script src="http://gist.github.com/'
             + id
             + '.js"></script>';
    document.write(html);
}