Skip to content

Bump version#1241

Merged
lionel- merged 1 commit into
mainfrom
version/0.1.252
Jun 19, 2026
Merged

Bump version#1241
lionel- merged 1 commit into
mainfrom
version/0.1.252

Conversation

@jmcphers

Copy link
Copy Markdown
Contributor

We're > 200 commits past 251, so feels like time to bump the minor version.

@jmcphers jmcphers requested a review from lionel- May 28, 2026 17:55

@lionel- lionel- left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this to make the git distance smaller? I was wondering whether we'd now use Ark releases to communicate something meaningful on the Jupyter side (documented in changelog).

By the way how about we use the --first-parent option to compute the number of PRs merged (plus commits pushed directly to main) rather than the number of commits merged?

git --no-pager rev-list --count 0.1.251..main
#> 242

git --no-pager rev-list --first-parent --count 0.1.251..main
#> 49

This should make the frontend-side release tags clearer.

@lionel- lionel- merged commit aed4d74 into main Jun 19, 2026
2 checks passed
@lionel- lionel- deleted the version/0.1.252 branch June 19, 2026 14:43
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 19, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants