Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

[8.13](backport #39513) Fixed pipelines formatting #39516

Merged
merged 1 commit into from May 16, 2024

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented May 10, 2024

Proposed commit message

Fixed pipelines formatting

Checklist

  • My code follows the style guidelines of this project
  • I have commented my code, particularly in hard-to-understand areas
  • I have made corresponding changes to the documentation
  • I have made corresponding change to the default configuration files
  • I have added tests that prove my fix is effective or that my feature works
  • I have added an entry in CHANGELOG.next.asciidoc or CHANGELOG-developer.next.asciidoc.

Disruptive User Impact

Author's Checklist

  • [ ]

How to test this PR locally

Related issues

Use cases

Screenshots

Logs


This is an automatic backport of pull request #39513 done by [Mergify](https://mergify.com).

(cherry picked from commit 5bff7ec)
@mergify mergify bot requested a review from a team as a code owner May 10, 2024 16:30
@mergify mergify bot added the backport label May 10, 2024
@mergify mergify bot assigned pazone May 10, 2024
@botelastic botelastic bot added the needs_team Indicates that the issue/PR needs a Team:* label label May 10, 2024
@botelastic
Copy link

botelastic bot commented May 10, 2024

This pull request doesn't have a Team:<team> label.

Copy link
Contributor Author

mergify bot commented May 13, 2024

This pull request has not been merged yet. Could you please review and merge it @pazone? 🙏

Copy link
Contributor Author

mergify bot commented May 15, 2024

This pull request is now in conflicts. Could you fix it? 🙏
To fixup this pull request, you can check out it locally. See documentation: https://help.github.com/articles/checking-out-pull-requests-locally/

git fetch upstream
git checkout -b mergify/bp/8.13/pr-39513 upstream/mergify/bp/8.13/pr-39513
git merge upstream/8.13
git push upstream mergify/bp/8.13/pr-39513

Copy link
Contributor

@dliappis dliappis left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@dliappis dliappis merged commit 1028e9d into 8.13 May 16, 2024
107 of 108 checks passed
@dliappis dliappis deleted the mergify/bp/8.13/pr-39513 branch May 16, 2024 06:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport needs_team Indicates that the issue/PR needs a Team:* label
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants