075fec6fc6
This has not worked reliably in a long time, and results in the majority of PRs having a failing CI status. Just remove it; we'll handle backports manually as needed.