-
Notifications
You must be signed in to change notification settings - Fork 775
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
[20599] Protect asio exception hotfix (backport #4527) #4530
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Cherry-pick of 08193d5 has failed:
To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally |
10 tasks
cferreiragonz
force-pushed
the
mergify/bp/2.13.x/pr-4527
branch
from
March 8, 2024 12:55
04c6290
to
085d73a
Compare
cferreiragonz
added
ci-pending
PR which CI is running
and removed
conflicts
Backport PR wich git cherry pick failed
labels
Mar 8, 2024
jepemi
force-pushed
the
mergify/bp/2.13.x/pr-4300
branch
from
March 13, 2024 12:04
7480818
to
21e6a64
Compare
cferreiragonz
force-pushed
the
mergify/bp/2.13.x/pr-4527
branch
from
March 13, 2024 13:14
085d73a
to
ebfabbe
Compare
JesusPoderoso
force-pushed
the
mergify/bp/2.13.x/pr-4300
branch
from
March 18, 2024 15:13
21e6a64
to
c5b75aa
Compare
JesusPoderoso
added
ci-pending
PR which CI is running
and removed
temporarily-blocked
PR must be merged after another one
labels
Mar 23, 2024
@Mergifyio rebase 2.13.x |
* Refs #20599: Handle error code before function call Signed-off-by: cferreiragonz <[email protected]> * Apply suggestion Co-authored-by: Miguel Company <[email protected]> --------- Signed-off-by: cferreiragonz <[email protected]> Co-authored-by: Miguel Company <[email protected]> (cherry picked from commit 08193d5)
✅ Branch has been successfully rebased |
JesusPoderoso
force-pushed
the
mergify/bp/2.13.x/pr-4527
branch
from
March 23, 2024 18:23
ebfabbe
to
fa9c396
Compare
@richiprosima please test this |
CI issues unrelated to the PR. |
JesusPoderoso
added
ready-to-merge
Ready to be merged. CI and changes have been reviewed and approved.
and removed
ci-pending
PR which CI is running
labels
Mar 25, 2024
EduPonz
approved these changes
Mar 28, 2024
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This is an automatic backport of pull request #4527 done by Mergify.
Cherry-pick of 08193d5 has failed:
To fix up this pull request, you can check it out locally. See documentation: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/reviewing-changes-in-pull-requests/checking-out-pull-requests-locally
Mergify commands and options
More conditions and actions can be found in the documentation.
You can also trigger Mergify actions by commenting on this pull request:
@Mergifyio refresh
will re-evaluate the rules@Mergifyio rebase
will rebase this PR on its base branch@Mergifyio update
will merge the base branch into this PR@Mergifyio backport <destination>
will backport this PR on<destination>
branchAdditionally, on Mergify dashboard you can:
Finally, you can contact us on https://mergify.com