The pull request has only one (non-merge) commit and in this case Github will use it as the default commit message when merging. The pull request title doesn't match the commit though ("ci: add gcov.reportsPath sonar parameter" vs. "ci: Add more sonar coverage params"). Please update the pull request title accordingly to avoid surprises.