function MakeLinksOpenInNewWindow() {
    if (window.location.href.includes('/pulls')) {
        var links = document.querySelectorAll('li div div a');
        for (var i = 0; i < links.length; i++) {
            links[i].target = "_blank";
        }
    }
}
MakeLinksOpenInNewWindow();