ljharb I was wondering, would it be possible to create a GitHub action that merges PRs "the right way"? So that for those that do not have conflicts, the "ready to merge" label could work automatically without you having to do it manually