Update ompl_interface with latest version of OMPL (backport #2994) - #3600

Rule: ask to resolve conflict (comment)

• author!=mergify[bot]
• conflict

Rule: development targets main branch (comment)

• author!=mergify[bot]
• base!=main

Rule: backport to humble at reviewers discretion (backport)

• base=main
• label=backport-humble
• merged [📌 backport requirement]

Rule: backport to iron at reviewers discretion (backport)

• base=main
• label=backport-iron
• merged [📌 backport requirement]

Rule: backport to jazzy at reviewers discretion (backport)

• base=main
• label=backport-jazzy
• merged [📌 backport requirement]

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> branch

Additionally, on Mergify dashboard you can:

• look at your merge queues
• generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com