Skip to content

chore(main): release 4.25.2#446

Merged
jacobpevans-release-please[bot] merged 1 commit into
mainfrom
release-please--branches--main
Jul 24, 2026
Merged

chore(main): release 4.25.2#446
jacobpevans-release-please[bot] merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@jacobpevans-release-please

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

4.25.2 (2026-07-24)

Bug Fixes

  • refresh-repo,git-workflow-standards: catch zero-ahead branches, not just [gone] (83e248b)
  • refresh-repo,git-workflow-standards: catch zero-ahead branches; split into prune-branches (97f6b05)

This PR was generated with Release Please. See documentation.

@jacobpevans-release-please
jacobpevans-release-please Bot enabled auto-merge (squash) July 24, 2026 15:47
@jacobpevans-release-please
jacobpevans-release-please Bot merged commit 0e67c67 into main Jul 24, 2026
27 of 28 checks passed
@jacobpevans-release-please
jacobpevans-release-please Bot deleted the release-please--branches--main branch July 24, 2026 15:48
@jacobpevans-release-please

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants