Pull request #531 has been dequeued. The pull request has been closed manually

Required conditions for merge:

• check-success=DCO
• check-success=validation
• all of [📃 From pull request rule Automatic merge on approval]:
  • #approved-reviews-by>=1
    • #531
  • #changes-requested-reviews-by=0
    • #531
  • #review-requested=0
    • #531
  • -closed [📌 queue requirement]
    • #531
  • -conflict [📌 queue requirement]
    • #531
  • -draft [📌 queue requirement]
    • #531
  • base=main
  • check-success=DCO
  • check-success=validation
  • label!=do-not-merge
    • #531
  • label=ready-to-merge
    • #531
  • any of [📌 queue -> configuration change requirements]:
    • -mergify-configuration-changed
      • #531
    • check-success = Configuration changed
  • any of [🔀 queue conditions]:
    • all of [📌 queue conditions of queue default]:
      • any of [🛡 GitHub branch protection]:
        • check-success = validation
        • check-neutral = validation
        • check-skipped = validation
      • any of [🛡 GitHub branch protection]:
        • check-success = DCO
        • check-neutral = DCO
        • check-skipped = DCO
• any of [🛡 GitHub branch protection]:
  • check-success = validation
  • check-neutral = validation
  • check-skipped = validation
• any of [🛡 GitHub branch protection]:
  • check-success = DCO
  • check-neutral = DCO
  • check-skipped = DCO

Check-runs and statuses of the embarked pull request #531:

		DCO — DCO	details
		validation	details