function change_title(issue, title) {
    $.ajax({ url:  './rename',
             success: function(data) {},
             error: function() {},
    });
}