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 ("fix: endless race if all marble are not exploded" vs. "fix: explosion victory check if marble are in race instead of not exploded"). Please update the pull request title accordingly to avoid surprises.