Skip to content

chore: remove Python from the repository tooling#5

Merged
mergify[bot] merged 1 commit into
mainfrom
devs/jd/worktree-remove-python/remove-python-repo-tooling--82858ba0
Jul 1, 2026
Merged

chore: remove Python from the repository tooling#5
mergify[bot] merged 1 commit into
mainfrom
devs/jd/worktree-remove-python/remove-python-repo-tooling--82858ba0

chore: remove Python from the repository tooling

6bfa01a
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Jul 1, 2026 in 1s

1 rule matches and 3 potential rules

⚠️ The pull request has been closed by GitHub because its commits are also part of another pull request

commit_message_template is deprecated and will be removed on 2026-09-30. Use the declarative commit_message_format instead: https://docs.mergify.com/workflow/actions/merge#migrating-from-commit_message_template`commit_message_template` is deprecated and will be removed on 2026-09-30. Use the declarative commit_message_format instead: https://docs.mergify.com/workflow/actions/merge#migrating-from-commit_message_template

Rule: request review (request_reviews)

  • #approved-reviews-by=0
  • -closed
  • -merged
  • #changes-requested-reviews-by=0
  • -author=dependabot[bot]
  • -author=mergify-ci-bot
  • -author=renovate[bot]
  • review-requested!=@devs
  • all of:
    • check-success=all-greens

✅ Rule: dismiss reviews (dismiss_reviews)

Rule: warn on conflicts (comment, label)

  • -closed
  • conflict

Rule: label on unresolved (label)

  • #review-threads-unresolved>0

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