Hacker News new | ask | show | jobs
by sddfd 2042 days ago
Some companies have a commit queue that takes care of actually merging a PR as part of their CI that mitigates this problem.