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 the queue, and will appear in the activity view and in push webhook events.

We want to hear from you! Let us know if you have questions or feedback.