Remove Mergify configuration - #1347
Merged
Merged
Conversation
Closed
| - package-ecosystem: github-actions | ||
| directory: / | ||
| schedule: | ||
| interval: monthly |
Member
There was a problem hiding this comment.
Can we leave dependabot out of this for now please? This config will lead to a lot of prs, and it's not clear who will review and merge them
Contributor
Author
There was a problem hiding this comment.
Sure, dropped.
Mergify has not been used to merge anything here for a long time: the
recent PRs were all merged by hand, and the config is now rejected by
Mergify itself ("Extra inputs are not permitted ... queue -> method ->
rebase"), which shows up as a failing "Mergify Merge Queue" check on
every PR. bio2zarr and vcztools merge PRs directly on GitHub, so do the
same here.
The app still needs to be uninstalled from the repository settings, and
"Automatically delete head branches" enabled to replace the
delete_head_branch rule.
Billyzhang1229
force-pushed
the
ci-drop-mergify
branch
from
September 4, 2026 12:30
42de016 to
1f9e2f9
Compare
Billyzhang1229
changed the title
jeromekelleher
marked this pull request as ready for review
September 4, 2026 12:39
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #1340. Supersedes #1316.
Mergify hasn't merged anything here for a long time: the recent PRs were all merged by hand, and the config is now rejected by Mergify itself (
Extra inputs are not permitted @ pull_request_rules → actions → queue → method → rebase), which is why every open PR shows a failing "Mergify Merge Queue" check. bio2zarr and vcztools merge directly on GitHub, so this does the same.Two things need an admin in the repository settings once this is merged:
delete_head_branchrule.