Comment by sddfd

Some companies have a commit queue that takes care of actually merging a PR as part of their CI that mitigates this problem.