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

import controller_interface #6

Merged
merged 1 commit into from
Sep 19, 2017

import controller_interface

213a240
Select commit
Loading
Failed to load commit list.
Merged

import controller_interface #6

import controller_interface
213a240
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Nov 3, 2024 in 1s

3 potential rules

⚠️ The pull request has been merged by @bmagyar

Rule: Backport to humble at reviewers discretion (backport)

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

Rule: Backport to iron at reviewers discretion (backport)

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

Rule: Ask to resolve conflict (comment)

  • conflict
  • author!=dependabot[bot]
  • author!=mergify[bot]
💖  Mergify is proud to provide this service for free to open source projects.

🚀  You can help us by becoming a sponsor!

2 not applicable rules

Rule: Ask to resolve conflict for backports (comment)

  • author=mergify[bot]
  • conflict

Rule: development targets master branch (comment)

  • base!=master
  • author!=bmagyar
  • author!=christophfroehlich
  • author!=dependabot[bot]
  • author!=destogl
  • author!=mergify[bot]
  • author!=saikishor
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