Skip to content

ci(Dependabot): Distinguish major version bumps from minor/patch bumps - #917

Open
jessealama wants to merge 2 commits into
leanprover:mainfrom
jessealama:ci/dependabot-split-update-types
Open

jessealama wants to merge 2 commits into
leanprover:mainfrom
jessealama:ci/dependabot-split-update-types

Conversation

@jessealama

@jessealama jessealama commented Sep 17, 2026

Copy link
Copy Markdown
Contributor

Follow-on to #895. Takes a more conservative approach to Dependabot updates by grouping bumps according to their semver impact rather than lumping everything together.

#912 is the motivating example. It's a single PR carrying three major version bumps (actions/checkout from v4 to v7, actions/github-script from v7 to v9, and softprops/action-gh-release from v2 to v3) alongside ordinary minor/patch bumps. Mixing the two means the easy updates cannot be merged without also signing off on the major ones.

Sometimes major version bumps might fail because they also need to be accompanied by minor/patch version bumps for other dependencies. But that's not a big deal. Manual intervention in such cases is always possible. (Of course, it's always possible that minor/patch bumps make the build go red and need manual intervention, too, but in theory that should be less likely.)

We also do the same here with the pip.

@jessealama jessealama changed the title ci: split Dependabot groups by semver impact ci(Dependabot): Distinguish major version bumps from minor/patch bumps Sep 17, 2026
@jessealama
jessealama force-pushed the ci/dependabot-split-update-types branch from 90194b2 to 48ba8d7 Compare September 17, 2026 11:21
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