Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[automation] Update mergify backport PR bodies (backport #5751) #5759

Merged
merged 1 commit into from
Aug 28, 2024

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Aug 28, 2024

Description

This is an automatic backport of pull request #5751 done by Mergify.

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
(cherry picked from commit b572787)
@mergify mergify bot added 2016 backport Backport pull request created by Mergify labels Aug 28, 2024
@mergify mergify bot merged commit 8a7024f into 2016 Aug 28, 2024
2 of 5 checks passed
@mergify mergify bot deleted the mergify/bp/2016/pr-5751 branch August 28, 2024 10:25
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
2016 automation backport Backport pull request created by Mergify
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant