3 ms·Do they though? Slow PRs have been a consistent pain point for GitHub hosted projects lately.by account42 6mo agoDo they though? Slow PRs have been a consistent pain point for GitHub hosted projects lately.