3 ms·"I opened 10 PRs in the time it took to type out this comment. Worth it."by ares623 11mo ago"I opened 10 PRs in the time it took to type out this comment. Worth it."