Skip to content

Remove mergify config#2409

Merged
benjeffery merged 1 commit into
mainfrom
remove-mergify-config
Sep 3, 2025
Merged

Remove mergify config#2409
benjeffery merged 1 commit into
mainfrom
remove-mergify-config

Conversation

@benjeffery
Copy link
Copy Markdown
Member

Migration to GitHub merge queue

This PR removes the .mergify.yml configuration file as part of migrating from Mergify to GitHub's native merge queue functionality.

The branch protection rules have been updated to include the required status checks, and merge queue has been enabled on the main branch.

@codecov
Copy link
Copy Markdown

codecov Bot commented Sep 2, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 91.23%. Comparing base (dc7a7e6) to head (b8657f2).
⚠️ Report is 8 commits behind head on main.

Additional details and impacted files
@@           Coverage Diff           @@
##             main    #2409   +/-   ##
=======================================
  Coverage   91.23%   91.23%           
=======================================
  Files          20       20           
  Lines       11828    11828           
  Branches     2295     2295           
=======================================
  Hits        10791    10791           
  Misses        568      568           
  Partials      469      469           
Flag Coverage Δ
C 91.23% <ø> (ø)
python 98.68% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@benjeffery benjeffery force-pushed the remove-mergify-config branch from b8657f2 to a6e4c2f Compare September 3, 2025 00:08
@benjeffery benjeffery merged commit 7e9fa19 into main Sep 3, 2025
8 of 9 checks passed
@benjeffery benjeffery deleted the remove-mergify-config branch September 3, 2025 00:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant