Hacker News new | ask | show | jobs
by pseudalopex 2087 days ago
DO could just check again for merged PRs whenever they want.