Merges by pull request merge queue now attributed to the GitHub Merge Queue bot
We’ve shipped a fix to ensure merges by the pull request merge queue are always attributed to the GitHub Merge Queue bot (github-merge-queue[bot]). This change applies to new merges by…