I think merge queues are the github feature for this, but I haven't tried it yet. Or we disable the "has to be up2date" feature and risk a broken main branch