This could easily be a Github Action that opens the PR and provides instructions on how to merge it (the "Merge PR" button likely won't work right due to there already being a merge commit in the PR)