3 ms·PRs, not issues. And 800 of those 1035 are merged.by yorwba 3y agoPRs, not issues. And 800 of those 1035 are merged.