3 ms·It's not like this isn't a problem for GitHub, either. Pull requests go ignored, too.by Sir_Cmpwn 8y agoIt's not like this isn't a problem for GitHub, either. Pull requests go ignored, too.