Automatically keep your Github PRs up to date, and get them merged in order once all of your required checks pass. Never wait around for that merge button to turn green again. Just add the READY label, and your PR will be queued up to get merged.