Comment by senderista

Don't you ever merge commits that wreck CI and are too complex to fix immediately? That happens here all the time.