4 ms·What's the one GitHub uses? Because I may not be GitHub scale, but it seems to be having problems.by fragmede 5mo agoWhat's the one GitHub uses? Because I may not be GitHub scale, but it seems to be having problems.