Complete Bookmarklet for GitHub release notes

github-release-notes-bookmarklet.src.js

/** @global ZeroClipboard **/
function addTab(text) { 
    var li = document.createElement('li');
    var c = new ZeroClipboard(li);
    c.on('copy', function(e) { 
        e.clipboardData.setData('text/plain', text);
        li.innerHTML = 'Notes <small><b>(copied)<b></small>';
    });
    li.classList.add('tabnav-tab');
    li.innerText = 'Copy Notes'; 
    li.style.cursor = 'pointer'; 
    
    document.querySelector('.tabnav-tabs').appendChild(li);
};
function getNotes() {
    return Array.prototype.map.call(
        document.querySelectorAll('.comment-body > p'), 
        function(c) { return '\\' + c.innerHTML;}
    ).join("\n")
};
addTab(getNotes());