What are the odds that two pull requests get completed at the exact same time? | Hacker News Reader