button.attr('disabled', 'disabled');
                 var id = parseInt(button.attr('title'));
                 var docid = $('h2', button.parents('.pull-request')).html();
                 button.attr('disabled', 'disabled');
                 var id = parseInt(button.attr('title'));
                 var docid = $('h2', button.parents('.pull-request')).html();