Skip to content
New issue

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

#

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

Already on GitHub? # to your account

rmf_simulation: 2.3.1-1 in 'rolling/distribution.yaml' [bloom] #41592

Merged
merged 1 commit into from
Jun 11, 2024

rmf_simulation: 2.3.1-1 in 'rolling/distribution.yaml' [bloom]

182aebd
Select commit
Loading
Failed to load commit list.
Merged

rmf_simulation: 2.3.1-1 in 'rolling/distribution.yaml' [bloom] #41592

rmf_simulation: 2.3.1-1 in 'rolling/distribution.yaml' [bloom]
182aebd
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Jun 11, 2024 in 0s

2 potential rules

⚠️ The pull request has been merged by @Yadunund

Rule: Comment on PRs with an end-of-life label (comment)

  • label=end-of-life

Rule: Close on changes only to EOL folders (close)

  • all of:
    • label!=rolling
    • label=end-of-life
    • label!=foxy
    • label!=galactic
    • label!=humble
    • label!=melodic
    • label!=noetic
    • label!=rosdep
💖  Mergify is proud to provide this service for free to open source projects.

🚀  You can help us by becoming a sponsor!

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

View more details on Mergify