Skip to content

Conversation

@bsipocz
Copy link
Contributor

@bsipocz bsipocz commented May 20, 2025

I would like to see if it's indeed your recommendation to pin to 551dded as opposed to 2891949?

The latter has the advantage of having a clean intention: being explicit and secure about using the latest release; while the former suggest that something critical has been fixed in main that has not yet release while in fact it was only minor documentation changes that happened.

@mhils
Copy link
Member

mhils commented May 20, 2025

Thanks for the PR! I think both options are fine really, I won't push functional changes onto main without shipping a release. I'm happy to take the rephrased version though, let's merge this together with the next batch of changes to not create any unnecessary toil for people who do indeed track main. :)

@mhils
Copy link
Member

mhils commented Jun 8, 2025

Thank you again! Merged in 30d5315.

@mhils mhils closed this Jun 8, 2025
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.

2 participants