Hacker News new | ask | show | jobs
by gareim 35 days ago
Look by is:closed instead. They don't merge the PR directly.