Skip to content

Merge branch 'main' into fix-pathlib-issues

6d4818d
Select commit
Loading
Failed to load commit list.
Merged

Fix Issues Related to Path.parent with no Parent Directory #1434

Merge branch 'main' into fix-pathlib-issues
6d4818d
Select commit
Loading
Failed to load commit list.
Mergify / Summary succeeded Aug 14, 2025 in 0s

2 rules match and 4 potential rules

⚠️ The pull request has been merged by @hmstepanek

Rule: Automatic PR branch updates (update)

  • #commits-behind > 0 [📌 update requirement]
  • -closed [📌 update requirement]
  • -merged
  • -conflict [📌 update requirement]
  • -draft
  • queue-position = -1 [📌 update requirement]

✅ Rule: Clean up after merge (delete_head_branch)

  • closed [📌 delete_head_branch requirement]
  • merged

✅ Rule: Clean up after merge (label)

  • merged

Rule: Toggle label on merge conflicts (label)

  • -merged
  • conflict

Rule: Add label on test failures (label)

  • -merged
  • any of:
    • check-failure=tests
    • check-skipped=tests

Rule: Remove label on test success (label)

  • -merged
  • check-success=tests

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