Release
Merges by pull request merge queue now attributed to the GitHub Merge Queue bot
Summary
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…
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.