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 ("feat: adapt the versioning mechanism" vs. "feat: add version to message envelopes"). Please update the pull request title accordingly to avoid surprises.