Skip to content

Comments

merge queue: embarking unstable (4df75e0) and [#413 + #423] together#424

Closed
mergify[bot] wants to merge 10 commits intounstablefrom
mergify/merge-queue/5cf63e08e0
Closed

merge queue: embarking unstable (4df75e0) and [#413 + #423] together#424
mergify[bot] wants to merge 10 commits intounstablefrom
mergify/merge-queue/5cf63e08e0

Conversation

@mergify
Copy link

@mergify mergify bot commented Jul 10, 2025

🎉 This combination of pull requests has been checked successfully and will be merged soon. 🎉

Branch unstable (4df75e0) and [#413 + #423] are embarked together for merge.

This pull request has been created by Mergify to speculatively check the mergeability of [#413 + #423].
You don't need to do anything. Mergify will close this pull request automatically when it is complete.

Required conditions of queue default for merge:

Required conditions to stay in the queue:

---
previous_failed_batches: []
pull_requests:
  - number: 413
  - number: 423
...

dknopik and others added 10 commits July 8, 2025 09:41
- Use --port as --discovery-port if and only if explicitly given
- Respect --port6
Co-authored-by: Zacholme7 <zacholme@gmail.com>
Co-authored-by: diegomrsantos <diego@sigmaprime.io>
Co-authored-by: diegomrsantos <diego@sigmaprime.io>
@mergify mergify bot closed this Jul 10, 2025
@mergify mergify bot deleted the mergify/merge-queue/5cf63e08e0 branch July 10, 2025 13:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant