Do Larger PRs Get Merged Faster? | Hacker News Reader