merge-commit-title: Your custom title here on its own line anywhere in your PR body, and the merge
queue will use that as the commit title when merging instead of GitHub’s default. If you don’t
include the directive, the default format (PR Title (#123)) is used as before.